{"entities":{"Q4994195":{"pageid":7023772,"ns":120,"title":"Item:Q4994195","lastrevid":98259422,"modified":"2026-06-05T17:04:09Z","type":"item","id":"Q4994195","labels":{"en":{"language":"en","value":"Deterministic SQEMA and application for pre-contact logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7360325"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$0BCA303A-53DB-41E5-9EBF-C58CEAE77778","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d3ff8c90cae606bdcee13dbe5e8c19fa9412376","datavalue":{"value":"1474.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994195$F59D2977-CA8E-4368-B991-8D21182B1FDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c67b46fa9da9477a99d4e7235559475684fc1843","datavalue":{"value":{"entity-type":"item","numeric-id":3595665,"id":"Q3595665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$98A2C542-4817-4062-A57D-06F3F56D4B9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a51338a6510ced57ca3e94a511d1ff6f65e2e6f","datavalue":{"value":{"time":"+2021-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994195$3B2D9E91-7CB9-47C6-9B73-82024B9B09B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22bc56b6fc5c6feb6f560c65ca252eddc70f40e7","datavalue":{"value":"https://www.fmi.uni-sofia.bg/en/node/7773","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994195$40AC1DD4-6C66-4D98-9825-E8E5C74828B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994195$659A60C6-3FE1-4CE7-B6AB-D5E252B6896B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"500fba1705f25e5ffac12c9d568ab90080150fcf","datavalue":{"value":"7360325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994195$0AF57630-9A68-480F-9E6D-991FEFA7C146","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253991f8f2099459340ecb25796b731e725a2eea","datavalue":{"value":"correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994195$DE8FB556-6CFC-4711-B39F-4FDD686830AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994195$875999CB-1F40-4A55-B9D1-DD9E6CD28C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1252069ff278cbe62679e458fc74ba86bda4a4","datavalue":{"value":"Sahlqvist formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994195$457E7F1C-217D-41E3-BE72-BE36D60B2A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14cb83449068e8e6864fff8afbe9db956388333e","datavalue":{"value":"SQEMA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994195$EB0FD301-D062-426A-9250-5CF505B28F2B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$CC1D7E1F-92C9-494C-A414-82205A1B8A24","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$F8F3DF76-CF77-4985-A7B6-73A27008D110","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"494a717fa1efdab485eb2865dd67440a6b12b669","datavalue":{"value":{"entity-type":"item","numeric-id":5445158,"id":"Q5445158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$04F2B6BF-7F54-445D-AED9-5FDA624CC075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9029579e6c2b656833852bd504c63d6c93c7d3c8","datavalue":{"value":{"entity-type":"item","numeric-id":5419870,"id":"Q5419870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$7BB9BBD9-7F20-44F7-827C-1DBFDC781402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac50fc561b33a34acc066243ca0f2a392895e0a","datavalue":{"value":{"entity-type":"item","numeric-id":3984404,"id":"Q3984404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$489989E5-020A-41F5-83B8-31357161B5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7b97434170d49cc67587b0be889904b70b2820","datavalue":{"value":{"entity-type":"item","numeric-id":5483000,"id":"Q5483000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$0395897F-3700-4AAB-B626-BF53E2043D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$944B8C6E-3549-4DAD-B1DE-636139557321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f0b1f554d4f6e144778576d6a62ab834bc544f","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$6AC42852-69C6-415A-8ACA-E9929CF2CC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc55340a98f4cb7be45863241f13111c9f158726","datavalue":{"value":{"entity-type":"item","numeric-id":5324584,"id":"Q5324584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$FCC65EDB-1F84-4E56-AC5E-7B4BDCEA17ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1ab685e497cfd9ecb230678f453cf50b1f4b95","datavalue":{"value":{"entity-type":"item","numeric-id":631077,"id":"Q631077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$60AF6A74-10DC-4A51-9FFE-99885D12D3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d590979361e7204ded68d00966871702fea8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3643312,"id":"Q3643312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$337AB027-CF75-4D94-8227-CFA4974F050C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$267AD54C-15E4-488E-A475-BCB93C5E23F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f93ae18ce481c57e090142d63bf23f5488aac","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$87C03FA8-9B71-4033-9E63-8B3FA46DC4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$72FFCE09-FB49-46B3-8D2A-8752422A658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922a0386399841ad7448ccf9b09f9cd437e79a7a","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$989A14F6-5064-4378-AA30-8F917B2DE015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$524806AA-55BA-49C9-8B29-4BBC9C490BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$B7A9FD78-906A-4FCD-87B8-E4C2086D620F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e98956eb0e9a29848be95bf5e3ba04cf2505e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4286209,"id":"Q4286209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994195$9C11E4AD-F941-4237-9B79-A748D0ECAD46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0411f7942d00b9b5179ac8ca344e8b19aea35ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3643312,"id":"Q3643312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0ca6c3aad11ac31fe03db067fdb0d36b032ecf","datavalue":{"value":{"amount":"+0.8105329275131226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994195$2538CE67-974F-48E0-99A1-086CCFC4343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca32e838e7ade0031addbe2e5ffa7bb4ff03699","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedf4cbfd3458658d17b7e810b3290d33e6b58e3","datavalue":{"value":{"amount":"+0.8039542436599731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994195$B288C0BF-A931-4476-86E2-C3046E5E2BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925fbffda528c02aac39344d06dd1a17c0231c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5324584,"id":"Q5324584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be93b9913463efb12552f5fabb715a8c51457380","datavalue":{"value":{"amount":"+0.8019548654556274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994195$F8913DDB-D28A-4BB9-8FDF-85F0D6EB9551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096f23e4a638f66e13e7263b3d2d1d4bbadd1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853b1dafbf9f14c3ad2f3cb0d38790b56af0a6c2","datavalue":{"value":{"amount":"+0.7955166101455688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994195$41E8EF40-FD1F-49ED-B369-A65E1AC2CBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e713091ed4a3618d64dd00a19b9397626c4aed","datavalue":{"value":{"entity-type":"item","numeric-id":631077,"id":"Q631077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984ab87cc89b6d837b5334ea5b04b527bec76093","datavalue":{"value":{"amount":"+0.7746632099151611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994195$C7D118A6-23EB-4BE6-B7A5-A31BA180E558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deterministic SQEMA and application for pre-contact logic","badges":[]}}}}}