{"entities":{"Q5044765":{"pageid":7074342,"ns":120,"title":"Item:Q5044765","lastrevid":54433793,"modified":"2026-01-26T19:44:51Z","type":"item","id":"Q5044765","labels":{"en":{"language":"en","value":"A propositional dense time logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611290"}},"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":"Q5044765$D844A6F5-84BC-42FB-9EC3-EBA3CA9FF947","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aae6134d1915c80efb180253b40b2016eb14790a","datavalue":{"value":{"text":"A propositional dense time logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044765$11EE096F-0034-424F-A070-5802622346F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b2af4649855b0361164eac51eab6ccc1d844076","datavalue":{"value":"1497.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044765$5C5D715C-22C2-4C64-9750-D09F26882ABC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a7cbe8176c267c5bfd7b52c52b3aafff5bb492f","datavalue":{"value":"10.1007/3-540-56610-4_91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044765$69DC31CD-006D-41B5-A10F-E853CF9B027C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cde2c9d1302f5dcfea7f3b6e0668a0feb5a5b62","datavalue":{"value":{"entity-type":"item","numeric-id":679330,"id":"Q679330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$CFC884A9-24EE-48F5-9031-7A655A6BF5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0026bfbd07429e970ce87ad95c7023db4554b096","datavalue":{"value":{"entity-type":"item","numeric-id":1729137,"id":"Q1729137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$24B7AD2B-505D-4BCB-A794-5BA85E747F58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$4EAB2BB8-6864-4751-802E-9127D685A34D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044765$7C8A00B5-67FE-471C-A107-F52EE3FCBDA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044765$A83BA1D2-A7E1-441D-9DF0-44D4047F3CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044765$F949181E-38A7-46F6-8BEA-27B3283DE700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044765$9EAD1C05-8C94-4161-B894-923195AD2D63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc3739caa6d3f4a4d07d8dc0f9e8c9ab00b1c224","datavalue":{"value":"7611290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044765$64B2D605-5B44-48AF-BAE4-D92F8017F00B","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":"Q5044765$6A00FF4C-61E5-46E3-BAE9-CAB0F19A541A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"938de0526a2590dd52ffd9216ff5208cbb89e294","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_91","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044765$67E98F42-BB69-473D-A351-9C8E6249B159","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"748d4878bda6b9c8e379acb209fbb72533dcbe14","datavalue":{"value":"W1854014853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044765$D0B9D0AB-BAB7-4671-8171-22C0C6E0D59B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad21928bd542446f4dab874e018db82a98381684","datavalue":{"value":{"entity-type":"item","numeric-id":1839245,"id":"Q1839245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$87164965-5060-40E1-97B2-4D04E3AD15AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$4BAEA697-41D9-44D0-AD16-CC4CFE16FA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$65EFB55F-938C-44AD-83BB-D309F07718BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$253A3561-A9AC-4FC6-98AE-6389F0512AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$47FD9BBE-AB34-480E-AF94-74DF08383789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a368ac3b97caba026d61d63673b66abca6c290","datavalue":{"value":{"entity-type":"item","numeric-id":1837679,"id":"Q1837679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$0644B34F-0B8C-446A-A673-52A40D30C197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044765$B0226BD8-B4C5-4681-B252-87045E546887","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195bcb5668b26b9bc1fb8de8b451a264223dca5c","datavalue":{"value":{"entity-type":"item","numeric-id":679332,"id":"Q679332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98460f551aa3fe1794da8444a10ba1269f59aa7","datavalue":{"value":{"amount":"+0.8471236228942871","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":"Q5044765$1B2D958C-145C-4199-8E67-35445979E39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0dbf384713ff6c8693ca39209dc5e02c9a4668","datavalue":{"value":{"amount":"+0.8471235632896423","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":"Q5044765$50C06233-DE27-4686-976D-54BE23A08282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e131c2fbebbb292aa23cc4ad528fa65713be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e84c5b9dad55951764d174645d64cca30fabf7","datavalue":{"value":{"amount":"+0.7956721782684326","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":"Q5044765$654ADAA8-FC35-4714-ABF1-0B619268EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb58043c56c81218071db6050752bf441a23616","datavalue":{"value":{"entity-type":"item","numeric-id":3012536,"id":"Q3012536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e08afb5686f8006ef28f70bbd368d284cd33548","datavalue":{"value":{"amount":"+0.7808950543403625","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":"Q5044765$77C66E1D-58FF-45E3-9BC1-45222164BBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39fbba40d532231622c3bc1ecbf604576b2e7ab","datavalue":{"value":{"amount":"+0.7661730051040649","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":"Q5044765$BCEC9628-30AC-4138-AC9C-7D7900441A1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044765"}}}}}