{"entities":{"Q4507830":{"pageid":6537423,"ns":120,"title":"Item:Q4507830","lastrevid":47513137,"modified":"2026-01-01T23:03:28Z","type":"item","id":"Q4507830","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1515297"}},"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":"Q4507830$02DB59C8-AA4F-41C3-B0CE-90192FF1FE42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20436fd2522c45fa0fafe66ff782d03dc82215a5","datavalue":{"value":"0953.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507830$59B04B3E-586E-4C7B-9EC1-015E16DD8785","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d1d54670924db26a74d9a3b5e6224e9f60db0e3","datavalue":{"value":{"time":"+2001-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4507830$F2A76E43-D8CC-4EEC-939F-740D447E52CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507830$1844E1F0-D332-4D88-82D6-B31020EB19C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507830$5AF287F7-A754-4B0D-9BD3-D41965B5F023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507830$6837F045-6738-4F8B-812A-2C79D951CB19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"345a9d3a605f66ebb7f677fe1ec771e0dd554bfa","datavalue":{"value":"1515297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507830$D45FD386-1F26-4A88-9560-A297BFD9EF77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc702661019973d06806af3c6d653d54eed8ecf","datavalue":{"value":"computer aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507830$4166CFD2-DD88-4A57-817D-F9DF4FE8948A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507830$7107866F-1414-4DB0-9421-017582012AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932166bdbd62f9607852f8c9e5a34b1013f88a6f","datavalue":{"value":"stubborn set approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507830$0A51838E-D45D-4504-B5D8-B86F6E09FBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b2bed11dababcab09097a5cb31da4a0684c969","datavalue":{"value":"CTL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507830$7775F8B5-C928-4E2D-97E3-415E81E07B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d4eee78bc873933aa1383d75ecf4665f3513179","datavalue":{"value":"fragment of CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507830$A6E7576E-DD48-44C4-B43C-C834E08D2EC9","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":"Q4507830$47CD4CDB-4607-480F-A1F4-8EB8A18B5194","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028e3c660f5ed9512467b98aafec24c95689b560","datavalue":{"value":{"entity-type":"item","numeric-id":6487389,"id":"Q6487389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db87a7b89aac993c42347f265072274068bbd32","datavalue":{"value":{"amount":"+0.7930486798286438","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":"Q4507830$66FFD582-25C5-4D14-A1F5-E6B5B93F871D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04990e0db6c9aeff1abc0d16d8e9a08477e183f","datavalue":{"value":{"entity-type":"item","numeric-id":1774568,"id":"Q1774568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5692f1db9cde683702b9e46ba14e02b8036f8f28","datavalue":{"value":{"amount":"+0.7922242879867554","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":"Q4507830$1A8015EB-D60C-4265-B429-60B306BE6E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f9c94bc5f592e002f3178d997ed103079b4518","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a2325574a6e06d46a1f4e23f2628fcb11b6a6f","datavalue":{"value":{"amount":"+0.784530758857727","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":"Q4507830$49309F74-583B-4220-8EE2-BAC575D5F091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d350ac85232661af1b34e74ab018adfebfeafa4c","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a2325574a6e06d46a1f4e23f2628fcb11b6a6f","datavalue":{"value":{"amount":"+0.784530758857727","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":"Q4507830$875F7C30-E8FD-4D6F-9056-65E7251D7DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de4e502d7c3ba3e99d0891f471f671296cd5ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4507831,"id":"Q4507831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caa66e92e410e1162e39f15438873e3642ed884","datavalue":{"value":{"amount":"+0.783238410949707","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":"Q4507830$40B1977E-B66B-48EF-B89E-6BC4C2D2077C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4507830","badges":[]}}}}}