{"entities":{"Q3648692":{"pageid":5678598,"ns":120,"title":"Item:Q3648692","lastrevid":90441743,"modified":"2026-06-04T20:11:58Z","type":"item","id":"Q3648692","labels":{"en":{"language":"en","value":"A data symmetry reduction technique for temporal-epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640928"}},"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":"Q3648692$A673D9CC-8D6F-4890-91E9-1E70633259F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28f5febfd5b13834389cdb1694b213a61e4fc3f8","datavalue":{"value":{"text":"A Data Symmetry Reduction Technique for Temporal-epistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648692$51F2052D-8696-4C7E-ABFB-089C57AEC122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88b234006718724dc5c71472575ab0dd1a758a04","datavalue":{"value":"1262.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648692$5F7A72BB-56A6-4A69-B5C5-45B4ADD75A81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"357610b58b170a951a9fa6fee54be548aab2aff4","datavalue":{"value":"10.1007/978-3-642-04761-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648692$7ED46ABC-99D2-481F-AEE5-FC3A25AFB310","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da943911fde2b531a0cd392b151ce77170be573","datavalue":{"value":{"entity-type":"item","numeric-id":3648691,"id":"Q3648691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648692$79988C7F-C583-4229-9C81-0216887DBC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648692$1571EA9B-CB86-4F06-8BF0-AF997248FBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648692$870F2930-3071-4C5F-A2C9-1F423D93626B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4b7b7694de42580b828c1d9702cbdf9a379289","datavalue":{"value":{"entity-type":"item","numeric-id":947795,"id":"Q947795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648692$72933969-EF9A-4C46-BE8D-A81144C8CF14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648692$A21661A8-361B-4CE6-B19D-491C28DA6542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648692$291503C8-76F8-443A-A467-E0C97D0299D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648692$59AB0CA1-1B8D-449B-9E12-2DC8D09C205E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648692$E36DB9C3-D75A-4A49-9238-152CB274D7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648692$B1C9FEAA-6D87-43A4-9F39-3643D1808452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b428cea68407937ad5183b362d9edcece7b7d77","datavalue":{"value":"5640928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648692$6AC00F4C-B931-4103-A663-FB61B4A06856","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648692$3C368D98-6FDB-4EF8-966F-6590C1B52FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648692$87A8604F-59A5-47B1-A8E0-B26D8A81B255","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":"Q3648692$036410D6-F013-4992-981B-3C65335B92F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4867739be37bcaf9d4b090f5a273486946ad7fba","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04761-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648692$274A9D30-A565-41D0-AA63-0E4559CA36D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cb293bdd4e017837aed0e3f8496f2d6a07194f3","datavalue":{"value":"W2152326157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648692$8042E477-B746-4041-8F0E-209894015987","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d64152106497ae5644814f7105924717b09175","datavalue":{"value":{"entity-type":"item","numeric-id":3614879,"id":"Q3614879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f4763b4ac989e3c9f9fedd5653bbcc3f1e9b97","datavalue":{"value":{"amount":"+0.8060352206230164","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":"Q3648692$FB8D3870-BD1B-4760-94CF-66BF02C3EC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7cc07acc3c63eff6297c5395fb439db604d030","datavalue":{"value":{"entity-type":"item","numeric-id":2900477,"id":"Q2900477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd8316046162a8a5cdef4de95524556f5a9c62a","datavalue":{"value":{"amount":"+0.7945596575737","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":"Q3648692$DACAC76C-2202-4B99-8E86-EA5903E345B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a309d0f4e867ead9bc2a1ab4474fe77e993b3198","datavalue":{"value":{"entity-type":"item","numeric-id":4551137,"id":"Q4551137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883e10990e8d0badf994e39b7036426906d3ee90","datavalue":{"value":{"amount":"+0.7902851700782776","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":"Q3648692$AB66AE56-0447-4827-AC43-846708F21C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d363b663792e7f338fa28214e3a05cd3c77fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd620f0e4c4040067faf9a549aba52d83f8a3ddd","datavalue":{"value":{"amount":"+0.7803104519844055","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":"Q3648692$0F52DAAE-DB1F-4AC8-B7E5-92B7815CC928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f781772082feb26f543ab51b1165198d94d1216","datavalue":{"value":{"entity-type":"item","numeric-id":3003426,"id":"Q3003426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872c1578955ad6cd597d6825082fbc09b0b00e31","datavalue":{"value":{"amount":"+0.7781840562820435","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":"Q3648692$F37330DB-4B7A-4A15-8C0B-3FE3EAD34A09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A data symmetry reduction technique for temporal-epistemic logic","badges":[]}}}}}