{"entities":{"Q4808748":{"pageid":6838328,"ns":120,"title":"Item:Q4808748","lastrevid":109430636,"modified":"2026-11-12T09:56:44Z","type":"item","id":"Q4808748","labels":{"en":{"language":"en","value":"Improving symbolic model checking by rewriting temporal logic formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090074"}},"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":"Q4808748$9157E223-5D6B-423B-B428-DC15D9E57579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a78240a5a65220c13b23996a6d5ec032487700d9","datavalue":{"value":"1045.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808748$D9EACB01-499A-441B-BFC9-1B63FEC25A9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bafd0a242f5618ddbbc7ea213aa39f63850788f","datavalue":{"value":{"entity-type":"item","numeric-id":436374,"id":"Q436374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808748$93439512-B1B2-400F-9C7C-CADB1360423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41ff793006ed21724f5b5b06ca942859b3f3dca2","datavalue":{"value":{"entity-type":"item","numeric-id":436378,"id":"Q436378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808748$AB7BCDAC-670D-4742-9BE5-125122F1B0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808748$E9F4B43A-7B65-43C0-8D94-3BF425B9F524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecbb3420f48001697e43edc0b6a7cf0adaddf1ef","datavalue":{"value":{"time":"+2004-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4808748$9874D83B-384B-4B2A-8EA2-12C924A9D53C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"342e9fdbea509f07cdde8f47b6dcba7695bbf520","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2378/23780207.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808748$C539E3C8-665B-4486-B49C-14DEE48B7DF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808748$ABEAFA16-FD83-43DF-BF63-F815E31ED376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808748$A1C3EEDC-00B6-4428-8AB9-0A473343DFF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef240cdb8a82bf895b4125c2111fe598b3a4464e","datavalue":{"value":"2090074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808748$E640210E-93A7-40F8-85A5-FA546C7FC228","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808748$87CBF175-2E3F-4B51-B67A-BC480AC08E09","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":"Q4808748$E0AA2874-54F7-4563-AEE9-420ABDF5575E","rank":"normal"}],"P1643":[{"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":"7cb4a4412d9264d1f227d03c1695c946f258254e","datavalue":{"value":{"amount":"+0.8537959456443787","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":"Q4808748$DC36277D-61C8-40DE-B23F-AEF026CE26D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662f051937086bb2907463bf6ee78e7b61ae81e9","datavalue":{"value":{"entity-type":"item","numeric-id":4493882,"id":"Q4493882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f761a341a4ea5c0c65d0b03c3077d4c1fd9b4c","datavalue":{"value":{"amount":"+0.802261471748352","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":"Q4808748$A5F6AE3E-48BE-4C88-89C6-33CF15CF91C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f761a341a4ea5c0c65d0b03c3077d4c1fd9b4c","datavalue":{"value":{"amount":"+0.802261471748352","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":"Q4808748$EA293986-8D17-4C45-9716-A2A56D27A348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63018600324a71859f0d043848bacee9a1ae2407","datavalue":{"value":{"entity-type":"item","numeric-id":5930944,"id":"Q5930944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf069ce4d21901100b962050f67a599b8d25bca","datavalue":{"value":{"amount":"+0.7782125473022461","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":"Q4808748$DF301854-BBC1-4FD6-9C47-4CF6310790A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b368a560c3ed3ed70188dfe1eb32036b8e65fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc42c772fb97090e4c40cbe13a4ea7419cf521aa","datavalue":{"value":{"amount":"+0.7782123684883118","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":"Q4808748$283F6D0D-4A7E-4064-AC5D-88728B517E93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90d632f53aed1595e208905a3e862c504e641746","datavalue":{"value":{"text":"Improving symbolic model checking by rewriting temporal logic formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4808748$B0E24A8E-E656-4CC8-800B-536EA9E310B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1d3135050ae1649b757633aa6b4bfe99c8d1a7d","datavalue":{"value":"10.1007/3-540-45610-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808748$91B5DEA3-D582-4AB3-AF6B-5493CA9187C6","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":"Q4808748$6ECC8C17-6503-4F8E-999C-FA92905AAD5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving symbolic model checking by rewriting temporal logic formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improving_symbolic_model_checking_by_rewriting_temporal_logic_formulae"}}}}}