{"entities":{"Q4733398":{"pageid":6762975,"ns":120,"title":"Item:Q4733398","lastrevid":49318789,"modified":"2026-01-06T23:09:57Z","type":"item","id":"Q4733398","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119616"}},"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":"Q4733398$497F1F6C-CB0C-46B5-9E91-ECAF44923151","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8e853576050ce9ec71d6dd02644d61c3a4b292b","datavalue":{"value":"0683.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733398$393A6234-F5D9-4460-8EA2-6B2942D14BAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0721e939e90ae107e862f206df6cb46b2d511506","datavalue":{"value":{"entity-type":"item","numeric-id":685505,"id":"Q685505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733398$D42557E6-E60E-48E4-9B86-48236C247F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733398$37704DC8-5B05-4CAE-BDEC-CBCE2A568724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4733398$82F06008-3DF6-45C3-94E1-6E3B8C40D670","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733398$8A63975A-9E9C-466E-8474-506DC5D51768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733398$7676BFDC-B031-4C92-932C-0CA897B21D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733398$7D36E218-365E-41B4-8314-90D7720BD08B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"137526b478c11ee26bf48bcab1cd8050582368c2","datavalue":{"value":"4119616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733398$8A5F105B-26F7-4955-8D30-DD9E3EF76B64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab95dfbcdceac6cb0c1480eb7dd795ff46e5c45","datavalue":{"value":"branching-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733398$631DF321-1DE6-48E1-B0AD-5EEED199B5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733398$DF4F1744-87B0-46D0-A254-26CBB51BE55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733398$E52A0A50-68B7-4E64-98C8-CBAA7BEE5E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f964063550f0998819bcdbc42a57b1874e0ce6c","datavalue":{"value":"computation tree logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733398$B8D101D0-8CFC-4D53-95F6-2128472E0F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84893e36c753d19c100f5cc3d6a81cac047dd6f3","datavalue":{"value":"linear-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733398$AD90E315-A98C-4DDB-800A-CDE1D9152DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733398$7E1E15C8-641B-4287-B140-DF05FA4880B2","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":"Q4733398$3EB198A9-B6B0-4722-98C5-8F227BCAE486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41412a101469767d407265775b84417a718a8c14","datavalue":{"value":{"entity-type":"item","numeric-id":5084315,"id":"Q5084315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3845ceca22d5e7020e0e5d76c1a5e7a357f211ff","datavalue":{"value":{"amount":"+0.8572037816047668","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":"Q4733398$A4BB9B1C-0722-4548-B945-270CBB082874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878200bb7d6deda2e858113e30ee5e79946f3371","datavalue":{"value":{"entity-type":"item","numeric-id":2500472,"id":"Q2500472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7528f8e7f375e1ee50dc1b5fb898fa173558a118","datavalue":{"value":{"amount":"+0.8278197646141052","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":"Q4733398$F7B77168-F0D1-4D4D-9FD0-EDA8408A65A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e99e3acb4cb659206ee867940adb4ab72202b8","datavalue":{"value":{"entity-type":"item","numeric-id":2720312,"id":"Q2720312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71f2313e2eb53b82b035a16f7e307e9bca8e021","datavalue":{"value":{"amount":"+0.8125750422477722","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":"Q4733398$6276B4F3-FFAB-45F7-8F5D-EB82EC46A0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b61ccf01865802c5e327bb873e0bc5fd6931504","datavalue":{"value":{"amount":"+0.8089237213134766","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":"Q4733398$7132193D-CE6B-486A-8943-61ECDFC24BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab4e929957c8ec6d5d28ef408d74c2571690fef2","datavalue":{"value":{"entity-type":"item","numeric-id":4518423,"id":"Q4518423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b4984266305ef082119521cca899cc6d9b9489","datavalue":{"value":{"amount":"+0.8068091869354248","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":"Q4733398$D538A319-616A-4AF0-BC51-AEB8C0CA7E25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733398"}}}}}