{"entities":{"Q3769950":{"pageid":5799856,"ns":120,"title":"Item:Q3769950","lastrevid":52021115,"modified":"2026-01-20T18:46:01Z","type":"item","id":"Q3769950","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028879"}},"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":"Q3769950$108C2C03-9C1C-49F7-87BF-FC9D132946FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f92295b8c82dc332b1cc757e17b3c3a4f067ff97","datavalue":{"value":"0632.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769950$A6B36409-5CFA-4120-976C-FB64CFEBEF1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769950$90B48652-B1EA-438A-B096-E0D09D32D639","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3769950$14940CC7-49C9-4BA5-8495-38319362126F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769950$4E3B113F-71C6-4CAB-97BB-4F6E92CCD8C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3255ac86f5c295eb5070ea567cd1b5f007031342","datavalue":{"value":"4028879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769950$5126B132-446D-4D66-98D6-71A7216F40E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769950$B77C63B9-A90A-49D3-9E0C-53EB432C65F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d59bb300355f04619f96a9ae5fc92fa354c1e97c","datavalue":{"value":"first-order completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769950$AF4AD6C9-F7E0-41BA-9112-09075EB17A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769950$4DAEDB85-5C24-4A36-A814-36AA29B799DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769950$A47D9810-5C01-4A04-8DE4-7833A96C78EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a1b4de2f6601636779c475343b36943870036","datavalue":{"value":"first-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769950$991A6FF5-5053-421E-A6A1-EF0D25406F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f34102932f82ad7a270bd74506754319987c63b","datavalue":{"value":"first-order completeness of axiomatic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769950$92F1DF9D-E21B-4D9F-992A-7252735ED9AC","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":"Q3769950$EAE2BB8B-E31B-4B18-84EA-588ED1C7D807","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9379b1bffe85a86cbeccfba237f5e3dc55224b9","datavalue":{"value":{"entity-type":"item","numeric-id":2757818,"id":"Q2757818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ee9baab464b9f48802924fab5d65ac1c412c68","datavalue":{"value":{"amount":"+0.8658820390701294","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":"Q3769950$313BFFC7-6F71-498E-8D55-8DA8EC329BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"811c55663ed31f0ed942cb3916832c14a87ad5e8","datavalue":{"value":{"entity-type":"item","numeric-id":1391733,"id":"Q1391733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6e65d4fb5a6c8137837dd7a9bb8038dcecc93f","datavalue":{"value":{"amount":"+0.835667610168457","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":"Q3769950$1007FD85-5401-4F6F-8348-8E1B6692C13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9d5703abc7b1b43f0d513ebc9870371c9dc986","datavalue":{"value":{"entity-type":"item","numeric-id":3774925,"id":"Q3774925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239fc8ec6b4b6ca01c531196f597fcf84829c04a","datavalue":{"value":{"amount":"+0.8253530859947205","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":"Q3769950$803A3F05-FD51-43D9-B813-2EE6C23C55F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54aacd0a3ca98fde20e3bf8fd06af71440ba12a","datavalue":{"value":{"entity-type":"item","numeric-id":4876427,"id":"Q4876427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef863e981aaec4a10167626a68f3c045fc093fe4","datavalue":{"value":{"amount":"+0.7971763610839844","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":"Q3769950$28874AC0-66E2-4F95-A81F-1C0631F11685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312b61c3203f22349673c673d5a8f9c990661025","datavalue":{"value":{"entity-type":"item","numeric-id":3326829,"id":"Q3326829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c636984bd3ee36ce2a30a112e1dc9299fe7d5d09","datavalue":{"value":{"amount":"+0.7718270421028137","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":"Q3769950$AD4B6FF4-D44E-4E1A-BDB9-244CF2DE5CCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3769950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3769950"}}}}}