{"entities":{"Q4501576":{"pageid":6531169,"ns":120,"title":"Item:Q4501576","lastrevid":47014770,"modified":"2025-12-26T01:28:25Z","type":"item","id":"Q4501576","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500557"}},"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":"Q4501576$25EFA3D4-8537-496C-8E25-B6E1FB7B6861","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39381a2927794c3a5fdb512a420d2f81b3e0b872","datavalue":{"value":"0954.03500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501576$88F8DFF1-1593-4F65-B2A4-5ED2013EED98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfdbecd52e7c966cd99c12572cc05fc0a7a35f62","datavalue":{"value":{"entity-type":"item","numeric-id":2763540,"id":"Q2763540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501576$D3DDF4BB-684D-40A1-93C3-D52C70D97C11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6ee3df6eed3e87a230816a62b70508d73d827ec","datavalue":{"value":{"time":"+2001-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501576$AC885876-01AF-4C0D-8BEE-C8961B6A9CFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501576$3AFB720C-6249-49E7-8747-C1BD41BEC770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501576$E9A5862D-F889-4457-B41E-47686C2D1F87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b119583ddb75bbabb550ec1407afc4a7aaf1b7a","datavalue":{"value":"1500557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501576$4324FA63-8886-49A4-BDBA-12D79DBB8BBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73aadba4503d9209eff62aa4ff4f01a6105b09a7","datavalue":{"value":"temporal logic of causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501576$D91EF6E5-51DD-4B9B-A02A-C522FF9BCD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00c383418dcc7f93ccd72284943d81460b3f068","datavalue":{"value":"linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501576$764AAA38-89AB-4F82-BA3D-E74AEE5A68FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501576$C254EDD3-4E0E-4223-8090-25A76364436A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5bec830d586c8cd0b59529f67c90b0b02454c2b","datavalue":{"value":"chain quantification operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501576$8F3DBABE-D745-469F-8BA4-757DF417B963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501576$E149759D-F482-4A78-85AC-8475CC71AE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501576$FC020782-3525-45C0-A9CB-BB29C12059D3","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":"Q4501576$6B0ADB8A-FD96-4BC1-9F29-132624AD2B68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8f5e7f8a86fda4ab5e1086a765f2bb1becd9c6","datavalue":{"value":{"entity-type":"item","numeric-id":3021958,"id":"Q3021958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60e1a4a1b5cd48c811ee75fce669b4d6f92452e","datavalue":{"value":{"amount":"+0.9876824617385864","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":"Q4501576$414BBC78-C23E-408B-B570-3911F5F2517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae43f359d587f7750196002de06e121a5c3a907","datavalue":{"value":{"entity-type":"item","numeric-id":4493899,"id":"Q4493899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48f3b00e049b24b53d30d7b80b95c8f2165c3e6","datavalue":{"value":{"amount":"+0.7461402416229248","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":"Q4501576$E2BD01F8-AEEF-4389-AAD3-DF4EC137A1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e45e84af58c56f646c20ab46e110f7bce0bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e040a52d0193277a9dcc8f58ff73b3ca19c32608","datavalue":{"value":{"amount":"+0.7440635561943054","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":"Q4501576$309D4F74-F146-4795-AACE-02BD7CB9AE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96960112e498526eaaa39fc571da46f77d2fb146","datavalue":{"value":{"entity-type":"item","numeric-id":4737220,"id":"Q4737220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0e06883542c748adeb3bc3766c7da7284447ef","datavalue":{"value":{"amount":"+0.7326024770736694","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":"Q4501576$CC9C0843-1E5E-4993-B1B4-FF4D5FAFD140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771c17044fd2d01bef082de82391d70331d1a4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4737221,"id":"Q4737221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bce6376a7cda84c1e04d56e8768596c327d195","datavalue":{"value":{"amount":"+0.7236686944961548","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":"Q4501576$D14DBD3B-69C2-477F-B46D-B3118A80687C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501576"}}}}}