{"entities":{"Q2945133":{"pageid":2955853,"ns":120,"title":"Item:Q2945133","lastrevid":52341656,"modified":"2026-01-22T09:15:48Z","type":"item","id":"Q2945133","labels":{"en":{"language":"en","value":"Infinite-state model checking of LTLR formulas using narrowing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6479864"}},"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":"Q2945133$083829A9-B5ED-4B2F-A2D1-B82817F9A08C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01ab12ae2731a37db8d7c1c7e3d218b39d15c75f","datavalue":{"value":{"text":"Infinite-State Model Checking of LTLR Formulas Using Narrowing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945133$C92610A9-9989-4853-BC4B-5AABEBF8843C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0948f30c6904dd89b9208a7ad12a973592212fe","datavalue":{"value":"1366.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945133$04CE7637-498F-44A9-95DD-52CF93B908CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4de4e926537220d5e4e0defa5c012390c912f8fa","datavalue":{"value":"10.1007/978-3-319-12904-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945133$9485D118-BBE9-4779-B653-D53461FC6E96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7abae01514d1760eb4f9d93836437ad171626b69","datavalue":{"value":{"entity-type":"item","numeric-id":1951604,"id":"Q1951604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945133$3F062147-A4C4-414C-AA88-74140E6E2F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945133$EC022D38-5E20-437C-9D19-7202AC57F3BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945133$8DFCDD1E-7F0B-4C7E-B307-156118CDA53A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fdba1a180432aa0076bd7853aefca9f33efc7b","datavalue":{"value":{"time":"+2015-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945133$B7078CF7-A32D-42C2-A121-2CBFC0046BC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945133$6C9A2B36-6E06-4479-9090-2AF4036C4293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945133$08170502-CF81-4FE0-B104-0B6E21E2B7D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36fb22885aa735ebc3058c9814b360f92b6372ed","datavalue":{"value":"6479864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945133$01327B5C-8619-48F0-9233-E748F614C84E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945133$503801EA-FF93-48A1-B313-2CE91E510E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945133$E9DEBBEC-677F-4F47-97F2-9EA1B1DB571F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd656f4596443bf724e01d7b80de39203845b90","datavalue":{"value":"LTLR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945133$FB93A75D-39F9-448B-8553-AF78ADA9D49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945133$8733C12B-E060-4132-AEC1-B075C0A004AF","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":"Q2945133$17D4979C-0DBE-4242-BFF7-92A540759C22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39bf11f3608849402e87ea1ba5fcb6b0c4c26e09","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12904-4_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945133$6CAEAA9E-6987-4CE2-8216-D8372A551125","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e8d4f24c9ec14c8b750eb44aa27b5493b7d5f4b","datavalue":{"value":"W111391299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945133$A5701738-0E3B-414D-9FC4-DF20DA7C7A99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb6768e94c7996322ce021fc09b34ca279a1730","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f327dca7597759897a0d9553f1108bbdfcf273a","datavalue":{"value":{"amount":"+0.8642536401748657","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":"Q2945133$0EB472CF-D562-47E2-AF46-66CED4A45077","rank":"normal"},{"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":"7014aa200e929754fd5bdaa541bc1009b2681e4d","datavalue":{"value":{"amount":"+0.8530918955802917","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":"Q2945133$49FE2A30-32C6-43AE-9D68-101C9F1B9330","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":"0120b78d6d6195518508a3c64606a27580b80df4","datavalue":{"value":{"amount":"+0.834496021270752","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":"Q2945133$495F6834-06E9-4809-92C7-D665E73A8009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94433ddcc3b1e1a51adee54d8cfb7b1456b7677d","datavalue":{"value":{"entity-type":"item","numeric-id":5432339,"id":"Q5432339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2607edef320511b191958919573103e200975610","datavalue":{"value":{"amount":"+0.8262039422988892","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":"Q2945133$9229595C-F49E-48F6-A49F-95817A2BA951","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":"ae6a9043ad7bbf1d9f32802eb7117c8d22c51aa2","datavalue":{"value":{"amount":"+0.7812100052833557","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":"Q2945133$EEF9DEFD-0177-490F-A71D-B2E2DC1BACD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945133"}}}}}