{"entities":{"Q2848044":{"pageid":2858764,"ns":120,"title":"Item:Q2848044","lastrevid":83764535,"modified":"2026-05-07T10:53:30Z","type":"item","id":"Q2848044","labels":{"en":{"language":"en","value":"PVS strategies for proving abstraction properties of automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211402"}},"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":"Q2848044$96C2614D-577E-43BB-84A9-8FF9E990D743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99bcffed1db96c59333d84cba14259c332bfcb78","datavalue":{"value":"1272.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848044$8512EA4F-86CB-4728-9645-151DDBB8126D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848044$DFD859DE-9339-4894-8AA8-CA57F2AF056A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a5e7f34f5647aa6603bde54bf3aa46d019e1c75","datavalue":{"value":{"entity-type":"item","numeric-id":633294,"id":"Q633294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848044$C6C815D6-9CA5-4DBD-B1D0-F31B39083E93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848044$306DF322-54FC-4B10-8980-FA6C01A95A8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fa827ee36e0d3922379892756a8b1e959055f21","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000952","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848044$D23971FE-513E-4C2B-98F5-4C9969F17DE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848044$FFBC268C-5D52-4CBB-9B14-82B8F48DCA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848044$DCE53AFE-A3CB-4911-A719-063AC119A5A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a612a63d55b424997eb2c163a6e36806530fd22","datavalue":{"value":"6211402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848044$1C64C026-F975-4D47-8294-C35A5F4DD1DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848044$7E56CDA1-497D-4674-A07A-F1CFC64C511E","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":"Q2848044$4D855CB5-1F6F-49AE-8203-C708E4BFDA3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1568d8e5297d9377b8249ea52bceb8589b02da78","datavalue":{"value":{"text":"PVS strategies for proving abstraction properties of automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848044$4CBC146E-153F-4E3E-9183-AD0686A2C333","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7444059a9f1938ecd7437a1edeb1c7cec5bae933","datavalue":{"value":{"entity-type":"item","numeric-id":4818812,"id":"Q4818812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aae809ade2e254e843b3851c20265b6eb94bc70","datavalue":{"value":{"amount":"+0.7920709848403931","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":"Q2848044$1607B97B-85D3-4CA2-A326-2EEA3C24F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89787eeae13ca828b586adfe0aa6bb160080be82","datavalue":{"value":{"entity-type":"item","numeric-id":1601865,"id":"Q1601865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21a905334b398dc177e5b7992d171d04bd5e749","datavalue":{"value":{"amount":"+0.7766146063804626","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":"Q2848044$B0A35F7C-A7EB-42F7-993C-A879E5E49F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699e4f4421b4a1db5ca3b19e6665b60a06dabc65","datavalue":{"value":{"entity-type":"item","numeric-id":5305639,"id":"Q5305639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21a905334b398dc177e5b7992d171d04bd5e749","datavalue":{"value":{"amount":"+0.7766146063804626","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":"Q2848044$CB347BF8-36E3-4E40-8F3F-7ACCDCD0BAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4672cb7bc1a1e88cd2c0b1f9cbc53b68a84f2dda","datavalue":{"value":{"entity-type":"item","numeric-id":2753715,"id":"Q2753715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7478b785de2dad413423c3b55a5165fc1823ed","datavalue":{"value":{"amount":"+0.7741444110870361","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":"Q2848044$DBF145B9-8BB5-46A3-8003-9FB5998BA910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054e3538f139a1522b6592226759d7bd711393a6","datavalue":{"value":{"amount":"+0.7428737282752991","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":"Q2848044$59A1C091-25DE-4D1D-A13B-86B1DFBC1DEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PVS strategies for proving abstraction properties of automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PVS_strategies_for_proving_abstraction_properties_of_automata"}}}}}