{"entities":{"Q2908502":{"pageid":2919227,"ns":120,"title":"Item:Q2908502","lastrevid":51543716,"modified":"2026-01-18T17:33:44Z","type":"item","id":"Q2908502","labels":{"en":{"language":"en","value":"From linear temporal logic properties to rewrite propositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076916"}},"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":"Q2908502$1A3D9F87-EB14-49C2-A61E-0386FBCB6120","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20e6d4bf62bca109217ef9d79a3fe27771915c3d","datavalue":{"value":{"text":"From Linear Temporal Logic Properties to Rewrite Propositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908502$0C6FA24D-5B51-4F06-93D3-9080705027D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7355fba1b7963fa4497ae65b1e86fd314c86021","datavalue":{"value":"1358.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908502$DB0A9B3A-6D99-422D-A2A5-D01B00179101","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6ca4fceb2525a0652ed104a0060ffae18a0fe21","datavalue":{"value":"10.1007/978-3-642-31365-3_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908502$EF92991A-67E6-4FD3-9F31-43E5952120E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908502$028C7732-678F-48E4-85B1-392222A94CA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908502$4D225FF1-4295-4090-9964-9E6E863CB43D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908502$0F6FDE1F-1CE2-4B84-A70B-BE1E89A5E007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908502$3CC2C59D-7670-48FC-B172-D3AB5103CF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908502$9BA79B49-02CC-42A0-972F-CAFADFD432B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fd9f79b4fd36b140b72ba49197817202d54e2b3","datavalue":{"value":"6076916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908502$38787565-FB8A-4309-A6F6-52734DD7B7BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28ad9b4a7f5de9582a5c2b602f54e86b0569ebf","datavalue":{"value":{"entity-type":"item","numeric-id":442145,"id":"Q442145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908502$9579496B-9AD2-4B85-BC5A-721B0D4F41DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de7e91fb40e6d313194fd3bf5be86f44f89ded","datavalue":{"value":{"entity-type":"item","numeric-id":442146,"id":"Q442146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908502$1992C0CA-CC8E-4DAA-9AE1-CACDE6F5524E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0452d00e02db17d83907d40dea3913224ed5f7","datavalue":{"value":{"entity-type":"item","numeric-id":442147,"id":"Q442147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908502$6F5B728F-C099-4773-98C4-13C5D940E769","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":"Q2908502$41420ABE-A64C-4AB1-8BF3-494CB9ABB104","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a4d0d00c892a51c6d9161f009e0f5a0e1e8db93","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908502$63509348-CF69-4DB5-B17C-F35803C4B912","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36e9ebdff4269065fba795fec99b542a54eeebb2","datavalue":{"value":"W77447793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908502$5964E82B-3634-4D81-8C88-CD02B806FF93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e866be9b5b9cc4fc80ed6878d8463b70348f92ac","datavalue":{"value":{"entity-type":"item","numeric-id":5166636,"id":"Q5166636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a842f40ff84d6fd1f06d18bb19a41899bee7dd","datavalue":{"value":{"amount":"+0.7877837419509888","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":"Q2908502$35E19C1F-08A4-47D7-98B5-CDEFDB8DCD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1291fc8c82bfb271cb723af62c4cddc6117968cd","datavalue":{"value":{"entity-type":"item","numeric-id":518745,"id":"Q518745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfeefcdacefc21c1c86912fae37b3ff856b3447","datavalue":{"value":{"amount":"+0.759489119052887","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":"Q2908502$E605069B-C991-4412-8C3A-4B255CFE2CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27368f7c2fe1e37e3d66c5ac92d0ccdb54dc9735","datavalue":{"value":{"entity-type":"item","numeric-id":4933287,"id":"Q4933287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b70af10b96beef51641258b0b2669770558c5a","datavalue":{"value":{"amount":"+0.7577925324440002","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":"Q2908502$37C64925-5897-4DE4-BC40-65286F670B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bb2fe425b7d6d7f9101bfe5c99726606a28a35","datavalue":{"value":{"entity-type":"item","numeric-id":3507374,"id":"Q3507374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca3263a4caf02d0cb5b0fb5af6d3aaeb922b9be","datavalue":{"value":{"amount":"+0.751347541809082","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":"Q2908502$A8CE43F9-97A1-434A-87AB-B4B421489F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49889eaa14e1e79792df2f7fee33e78df0c895da","datavalue":{"value":{"entity-type":"item","numeric-id":4808748,"id":"Q4808748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824ee1f987c634d5d297cf0fa899277f906c85e2","datavalue":{"value":{"amount":"+0.7491118907928467","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":"Q2908502$73910B8B-ED3B-4E95-953C-0C46F49C33CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908502"}}}}}