{"entities":{"Q3718147":{"pageid":5748053,"ns":120,"title":"Item:Q3718147","lastrevid":50681363,"modified":"2026-01-14T19:10:48Z","type":"item","id":"Q3718147","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3947618"}},"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":"Q3718147$D2C1B354-2C52-4A60-B091-CF1F2B05B0C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3fa72096789e5889f7ee9c796896f791112848b","datavalue":{"value":"0589.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718147$85F6293F-1422-40E6-8B9D-D6A418ED91E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dff8f4e618a7aed9d42af4359c46333b7f8eeb5","datavalue":{"value":{"entity-type":"item","numeric-id":2719125,"id":"Q2719125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718147$61B3B139-6D53-482D-939D-98E2D5B4409D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3718147$1FD7580C-BAA5-4C52-834E-01A234EF48A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718147$860D2A5D-D5F8-4BB0-8E72-F2C38CA8F262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718147$F77102B9-E258-4714-AB11-BBDBE2231DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718147$7D22EC0F-32A8-4375-9266-4946B8A1DB1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c07c3fe872016caadd978b075bec9721752bf8d9","datavalue":{"value":"3947618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718147$CDAE4B12-E70D-4803-B77A-00BB51507366","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718147$1F920290-7BDC-4E80-8687-A66B0E776D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718147$2061AD6E-A175-49D5-8943-0656244FCCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f33be0ff1c733b125590eea16e7df30eeb261b7","datavalue":{"value":"propositional algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718147$DD10D718-4467-4900-94CC-8573BDACC3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8c4810fddd4de913a5a57e124f9e8e72a27ef91","datavalue":{"value":"finite degree of nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718147$F1BED55B-421F-4771-9C5A-9B16DA19C5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a19c5aed7bff61a29c9e1fbe9031f20d06d189","datavalue":{"value":"Kripke-like semantic structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718147$0C28A8E6-265D-4992-BEF1-85D9FBB40E2B","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":"Q3718147$93BCBA2E-1F37-48B2-8EEA-3534BA0E686A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768482f8f9714678cf33eb17d53f669594342a5a","datavalue":{"value":{"entity-type":"item","numeric-id":1923105,"id":"Q1923105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03deb3111f193505ba9d9a52b97687719634317f","datavalue":{"value":{"amount":"+0.7133693099021912","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":"Q3718147$194D87A8-0655-4BE7-906E-E67C18E23B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e261f6151483f28ae2599b40e52b33ef808c207","datavalue":{"value":{"entity-type":"item","numeric-id":3979283,"id":"Q3979283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43fa73ca693e81e07c70947af1dd30ebb9233fa","datavalue":{"value":{"amount":"+0.7075536847114563","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":"Q3718147$420CD224-2BB4-4985-86DF-722D0B97AF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec64d63f62695a0025dad284173f5ddc02e42cff","datavalue":{"value":{"entity-type":"item","numeric-id":3475251,"id":"Q3475251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43fa73ca693e81e07c70947af1dd30ebb9233fa","datavalue":{"value":{"amount":"+0.7075536847114563","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":"Q3718147$7EB23739-5A65-469D-97D4-057FEAB1B53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f8fa35fd97f18091680fbbadbb07dc0a68ceda","datavalue":{"value":{"entity-type":"item","numeric-id":3976050,"id":"Q3976050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0411953bc512753110ef0eeb44f5bf28f66e2ddb","datavalue":{"value":{"amount":"+0.702344536781311","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":"Q3718147$C438CF6C-C2B2-424D-AD76-54A5298C64AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63e136a3f99c164e16dc4b22d6c6e40b53b4bba","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f58958adc2e24f2819fe6f8dc11cd523158417a","datavalue":{"value":{"amount":"+0.7007630467414856","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":"Q3718147$386BD23D-2555-4E3D-8E9D-A024AFC10027","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3718147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3718147"}}}}}