{"entities":{"Q6485851":{"pageid":14064509,"ns":120,"title":"Item:Q6485851","lastrevid":47792368,"modified":"2026-01-02T17:13:59Z","type":"item","id":"Q6485851","labels":{"en":{"language":"en","value":"First-Order Timed Runtime Verification Using BDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636236"}},"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":"Q6485851$5A0FBB13-F02B-4A23-8871-475C87FE8426","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dacd4f3eac585941491b973a5f60219f1531398","datavalue":{"value":{"text":"First-Order Timed Runtime Verification Using BDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485851$A408CA0F-1134-4101-8D6D-EF19E38F42E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7b5ecafdab277a0dfbad437547eaf4c127ae223","datavalue":{"value":"10.1007/978-3-030-59152-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485851$BF16E9C9-106A-4C97-AE15-C86876331A29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6851b3cbcdf05c70d7cc524c17fd5e0535b0ce27","datavalue":{"value":{"entity-type":"item","numeric-id":457246,"id":"Q457246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485851$EAED6C80-8652-4B3E-98C1-0F1C3A808356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485851$59A3EF2D-AB6A-4A52-8279-B852CAA6F0A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"693c31864860732f726eff637e28a6b905c9c757","datavalue":{"value":{"entity-type":"item","numeric-id":6485850,"id":"Q6485850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485851$54257C7B-79F7-497B-98E4-8E237CA74127","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485851$73E355EB-BEFA-47CC-95FC-0D049DFD89AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485851$D99C2B25-FBF2-49BB-9CE3-31EB5FDF8269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485851$CE70E636-0B97-4740-83CD-EA3D032AB835","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5597f89b4c806f21b375316f209fac6954773e36","datavalue":{"value":"7636236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485851$36FCE170-94DD-4CD7-8777-25266150E834","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":"Q6485851$3FB39F17-61B4-4460-A107-36EB8F7053C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeff2ecdf1da84c9a5af01fadf80f473dd0fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":2225472,"id":"Q2225472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e66d1161a2d091d4f88f505acb2457e57c0f711","datavalue":{"value":{"amount":"+0.8635562658309937","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":"Q6485851$89AD6D3F-37F9-4D77-B382-031B967EADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c8b93cf06e23afd41706f95736fc258357f4fc","datavalue":{"value":{"entity-type":"item","numeric-id":5883570,"id":"Q5883570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2235fdb2b2c9b6be94dfb1c798c5d845be8c99c2","datavalue":{"value":{"amount":"+0.8252449631690979","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":"Q6485851$DEAF6464-DBD8-49DB-81C0-39239BF9855A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4600086480e137867a6a962ef56bf525fa50e459","datavalue":{"value":{"entity-type":"item","numeric-id":2248067,"id":"Q2248067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e9145b7be3b0469df77ef94cb31e314b4c00bd","datavalue":{"value":{"amount":"+0.7614626288414001","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":"Q6485851$4A0C9EAC-B5C1-4385-B9AE-A726F6227C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969d51893bfb2cae69bf80a9d14066ee4c593cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5920079,"id":"Q5920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa452e2bcc69287589940842c88f38762ea62608","datavalue":{"value":{"amount":"+0.7357486486434937","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":"Q6485851$46030CC4-AACD-4C29-816D-4DD59AE4B472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f08ab68240d883d6e630aa32a59921a9a050bf","datavalue":{"value":{"entity-type":"item","numeric-id":4414389,"id":"Q4414389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd0124759046750f2ba007c705084a46d4f1302","datavalue":{"value":{"amount":"+0.7351902723312378","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":"Q6485851$478C1EE0-C3EC-4F5C-A0D5-9D1ECC163CCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6485851","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6485851"}}}}}