{"entities":{"Q302173":{"pageid":303940,"ns":120,"title":"Item:Q302173","lastrevid":60883821,"modified":"2026-04-10T19:45:04Z","type":"item","id":"Q302173","labels":{"en":{"language":"en","value":"Expressive power of ``now'' and ``then'' operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6600700"}},"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":"Q302173$8244CF6B-EF78-46E8-8A09-373BC4F09D22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14a0dbc3e262c1e7c0e4276b861f02a25ff197f1","datavalue":{"value":{"text":"Expressive power of ``now'' and ``then'' operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q302173$FD60B91A-63A4-42BF-AF82-2D4BC318CE5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22e39429ee4be79f962f159a3be4769e509fea3d","datavalue":{"value":"1369.03110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302173$6C99F8F1-7F0B-4D36-A7E8-543EC7131B84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c759cf75918e8b93d17a525c0cea58b282ec41d2","datavalue":{"value":{"entity-type":"item","numeric-id":302172,"id":"Q302172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$52BD9248-4233-43A4-99F0-8E6C30269F05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$FE9FA13A-31E4-4844-B987-ADC5B35F9C7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea17be691a57ca8c4424dbd0746575ec5c553b","datavalue":{"value":{"time":"+2016-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q302173$466D76B1-9CE1-463E-B80E-282674982C12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302173$8EF44322-C727-4ED4-813D-8886C15F9E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302173$E5041258-7FA7-4C8A-95C2-2E40F21C5963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302173$F7FA96D2-AAD7-4A5C-A7AA-E9A0B4042E57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d086cc01741f444a662f55384eedd278fc7afd7e","datavalue":{"value":"6600700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302173$CEAE1D1F-33C5-4718-A55A-35E6FBC6A279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc2ef1949d9245522e626b385eac29553e889e0","datavalue":{"value":"``now'' operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q302173$30206A34-8438-4FD8-BC9B-504A1C3EF1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4437ea5b53b9ba26f8b8e7b74430a49c159a06bb","datavalue":{"value":"backwards-looking operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q302173$317009BA-8859-4EE7-B1F7-0D34B2D9CF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q302173$C5049981-56CC-46B4-BD83-E057E090F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q302173$AF799181-14E1-4C52-964D-3366DE0795D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q302173$78E5A060-AD52-459E-A0C4-4A66741F6421","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":"Q302173$F4232945-8F21-46A9-8990-267BF279C116","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c22564d2451209b70fff5ba1edc835dc2b7014e6","datavalue":{"value":"https://doi.org/10.1007/s10849-014-9210-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q302173$33E88677-E9D3-4727-A81D-B2FB57DF10E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7c430b5d7cd9db5161ec0ad935d7fd6eda63b14","datavalue":{"value":"W2087977879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302173$491909CA-15FF-40F5-B788-7CBE08B012A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$800293AD-C28D-42B7-AF15-DEFD4FBC5803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e249e9101dc33c813ba9ae06cb18e829308af8","datavalue":{"value":{"entity-type":"item","numeric-id":3094189,"id":"Q3094189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$6300FC35-FD68-4C75-A535-0454841589DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$5DC1F001-1621-40C0-818C-9CB4B6E50EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$0A6A49AE-285F-4169-A9F6-D9DD311F279A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372a95fa85b54853eb1f9c694aaffe0cdae4c732","datavalue":{"value":{"entity-type":"item","numeric-id":4215593,"id":"Q4215593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$81F70CEC-1120-43BA-9DE4-1365A958B312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$E8C7B2F7-CAB7-4523-896E-D41000C201D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af41b4e294ca990ef5d79c17738dc38f85dd0562","datavalue":{"value":{"entity-type":"item","numeric-id":4314073,"id":"Q4314073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$D2CF761C-B547-4F24-A4D6-BCBEC31B40AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d189e448944390cd45f88077d11ee3114ae8ea","datavalue":{"value":{"entity-type":"item","numeric-id":3580667,"id":"Q3580667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$84E9B301-7950-429C-AFCE-8AAD524036F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$F8FB4289-2D8B-4F86-96B7-ACE7E10723ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$551E4A44-7803-48F1-96C1-CA6B871B8CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$AA878C35-C1D1-4138-80C6-6FA609BB31C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ecfe194d2e69edc93cb9e4deccd0dcebf83e34","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$D9F5784C-F071-4270-989A-3E121DCD6AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a73cb08d2241c15801016c9f2e93aa3828b1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5686019,"id":"Q5686019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$1AD5B618-E3BC-47BE-8863-F0FF31F9517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08150682cc9e8e72659517e0cc63a9ead175d47a","datavalue":{"value":{"entity-type":"item","numeric-id":2271188,"id":"Q2271188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$019E52FA-6188-4F3C-8B57-222ED17C3EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302173$2DBD923E-04B7-4FB3-ABA0-02CE59BE94D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddaffad3f945598604e6dc1f19d648163820bc54","datavalue":{"value":"10.1007/S10849-014-9210-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302173$0EE0B7C4-3660-40F2-A9E5-7167C542620B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b9af72cccd828195035d9029abaca554904c855","datavalue":{"value":{"entity-type":"item","numeric-id":2271188,"id":"Q2271188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11582fcc2f15a91d8f843397888e9fc39473ef17","datavalue":{"value":{"amount":"+0.7865487933158875","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":"Q302173$FBEEDCCA-F731-4855-AA7F-05A7842A3318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91123f811c06e49d97b714f1f445d85cbd786217","datavalue":{"value":{"entity-type":"item","numeric-id":3003367,"id":"Q3003367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a4e9f2289711b59324b5768f3ba75e53fb8476","datavalue":{"value":{"amount":"+0.7701200246810913","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":"Q302173$1A5B6157-992E-4311-80F9-6323C806045B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2dd322cc81e46630f6885d266721455dd7bf193","datavalue":{"value":{"entity-type":"item","numeric-id":2218707,"id":"Q2218707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a092b035540046d5bf83cad9fcce8671f36166ae","datavalue":{"value":{"amount":"+0.7455767393112183","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":"Q302173$BB8D621A-7831-44B0-8908-6CA6D6611A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15574da519ebdc2bd1c0131a137cd80dc3b19eef","datavalue":{"value":{"entity-type":"item","numeric-id":3457704,"id":"Q3457704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e02624cc51fba5d4200ce625e9a25638e0522a9","datavalue":{"value":{"amount":"+0.7446448802947998","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":"Q302173$68D5A138-3059-4DE9-B9A6-A8C72BE795DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8586a2956432aa69a78f94256dfc674d5201cc0f","datavalue":{"value":{"entity-type":"item","numeric-id":439961,"id":"Q439961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848b9cf7c9ce073bbc37b0d580645f5cdf4ab3c5","datavalue":{"value":{"amount":"+0.733673095703125","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":"Q302173$E378D736-6E9B-4A4B-A5CF-C66823B0F292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive power of ``now'' and ``then'' operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_power_of_%60%60now%27%27_and_%60%60then%27%27_operators"}}}}}