{"entities":{"Q2852017":{"pageid":2862737,"ns":120,"title":"Item:Q2852017","lastrevid":42271029,"modified":"2025-06-04T00:40:17Z","type":"item","id":"Q2852017","labels":{"en":{"language":"en","value":"Algorithmic algebraic model checking. III: Approximate methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213636"}},"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":"Q2852017$CEED72EC-5B3F-470F-9FFC-0CA332B1110F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a79dc0f2cb4527c93e17899c6102b9dcfec0384e","datavalue":{"value":"1273.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852017$031DE26D-FC24-4DE6-B618-0344CEAB6302","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67610332757ccda76ba6dc6cad6b58e644b58135","datavalue":{"value":{"entity-type":"item","numeric-id":418139,"id":"Q418139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852017$439630B0-4E59-48CC-9A7B-50B2CECF515C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e2c7512c148e94813534cd39eeccb8bf8f433e6","datavalue":{"value":{"entity-type":"item","numeric-id":999261,"id":"Q999261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852017$E8786B56-2181-4DE0-ADE1-9FA63B75AC4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852017$E76F1CE9-59BF-4BD9-BAB5-5BF284D0CFA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31b61186bc401a0945bdd6863b262668fcdbafa8","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000545","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852017$5DE746D8-1711-4173-B216-F1CF307B741D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852017$726E61E4-1EF5-4359-B259-39C583B28E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db22146753f5305670e78aa06ee0367ddbad55b","datavalue":{"value":"92B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852017$49549A34-B16F-4C17-8528-C4DCBDEF64AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852017$2BDB11C4-375A-4527-B0FB-4E2730FF816B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a867d37db5fade880a37b32787bcc1dcd21b8994","datavalue":{"value":"6213636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852017$C53AF36E-9AA8-4B6E-B21E-27A172596555","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":"Q2852017$BC0C16E2-E7D2-4880-BB75-1D30691921B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5651a3859cd5370e6d57a0e9f77719e4a21ded3","datavalue":{"value":{"entity-type":"item","numeric-id":5754533,"id":"Q5754533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974433154f97cb4643c72a984a6ce2e6e810039d","datavalue":{"value":{"amount":"+0.93082005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$E5581BF1-8E04-4804-94B9-EF5943AA0106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f28c0621007c2097d5f63f6c3da1e1597e5b97","datavalue":{"value":{"entity-type":"item","numeric-id":4737589,"id":"Q4737589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2680258017650f4109a71a1b5156ec3d76318715","datavalue":{"value":{"amount":"+0.91725785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$906C308F-0A49-44FA-BC62-13BF4348444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315a7a1d636d01cfb11c2ae0b8d4ef634e0c41d","datavalue":{"value":{"entity-type":"item","numeric-id":1758688,"id":"Q1758688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120b33bd647dd5fd1f1354c7bfa44b4244b2d09a","datavalue":{"value":{"amount":"+0.8982673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$DDEBA8DE-AF4F-4731-BC2F-10765EE84BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac66686a22bc15a9b946fd50d5e28bf5620d365","datavalue":{"value":{"entity-type":"item","numeric-id":4536726,"id":"Q4536726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3dc674da6c7aa1ba204d5f3138d24b4b8f2038","datavalue":{"value":{"amount":"+0.89007103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$0966D546-2230-4728-99A5-C9D0D878C30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93afce5a882bb00f86b73ac092423dc53a2d66a","datavalue":{"value":{"entity-type":"item","numeric-id":5902425,"id":"Q5902425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31595025339c75f3d1210dec98d905684a99b2a9","datavalue":{"value":{"amount":"+0.88970995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$5AE906DD-AC94-4410-8B36-528FE09D344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027b1caf5829e722c95788c8cb112cbe6f47d831","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898778013b84a8e3bffec13cc7b30ab2b4db4840","datavalue":{"value":{"amount":"+0.88822305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$D233B57A-82D8-453E-BA36-C0BCE533ADE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81965cfa0e8625dbb8c2028308bfbcb856bff3ec","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e65751a815006ca5990d9ae2a2fe183af8626c","datavalue":{"value":{"amount":"+0.8849158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$DAF67BCC-E0E5-49A9-B26A-42E77C12A98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b014e8be0da6ee91dc4a564d5997ee961eafd43","datavalue":{"value":{"entity-type":"item","numeric-id":2112097,"id":"Q2112097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c84be555a042645b03b2093a2fe29b1c76018f7","datavalue":{"value":{"amount":"+0.88482237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$2DA60A44-13EE-4FB2-9518-AADB719E238B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9519b8d2012e86e7eb1cd02b749d441949012e","datavalue":{"value":{"entity-type":"item","numeric-id":5491865,"id":"Q5491865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231802edb13c6331afe585129f94dca521691d03","datavalue":{"value":{"amount":"+0.88476986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$D3834E01-F232-48FB-B7CE-5412AC546E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e6e0792e368a5d09e553b21da7848e8a49482e","datavalue":{"value":{"entity-type":"item","numeric-id":2452734,"id":"Q2452734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3c3ac7f1b5f2b9d30196a96b17f86d1f5afefd","datavalue":{"value":{"amount":"+0.88474363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852017$E3B2930A-2AA2-4C1A-ACD4-2EB491323366","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d34ae6e33a87234880f7e4538fa222edadcdf69d","datavalue":{"value":{"text":"Algorithmic algebraic model checking. III: Approximate methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852017$63F8E2CC-1721-4358-8D5D-94192A7F2726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852017"}}}}}