{"entities":{"Q2918971":{"pageid":2929691,"ns":120,"title":"Item:Q2918971","lastrevid":51565940,"modified":"2026-01-18T19:43:44Z","type":"item","id":"Q2918971","labels":{"en":{"language":"en","value":"Exploiting over- and under-approximations for infinite-state counterpart models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6089202"}},"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":"Q2918971$7E291929-8F16-4245-A116-8EB5558C00EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b99183d577215c385b029ba6ceaa26d9812c100","datavalue":{"value":{"text":"Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2918971$2747C0AB-771F-411D-B604-5F5016944E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75464d60507745e83e176946b84371e7d6bc0479","datavalue":{"value":"1367.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918971$270553CC-8F86-405E-98BB-791BDAC6ED7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b81e0f2cad4cc0ea339b9f0eb791894c425a355d","datavalue":{"value":"10.1007/978-3-642-33654-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918971$789B5487-4573-4D22-9355-90D6481C8A0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918971$30042B3D-5D77-4348-8F21-D07018EB5926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918971$CAFF047B-8716-4B17-8729-C49B15498851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8979f1934477b077026f3595b253feac6f475c34","datavalue":{"value":{"entity-type":"item","numeric-id":832090,"id":"Q832090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918971$B923A4FB-0B26-4C22-8605-89E104F48598","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918971$1D912606-8719-43C6-9A45-7103A1923C37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2b18871b9dfe4cee59e4785688f95ef52679714","datavalue":{"value":{"time":"+2012-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2918971$5E7A8F78-74B7-4933-9D29-A34A643D29E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b76c0835cbd9b865a5df72fae2beeb8fc68e1c6","datavalue":{"value":"http://eprints.imtlucca.it/1292/1/icgt2012.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2918971$36358298-6DDC-437B-A78C-3BEAC705683D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918971$CF641D04-5A56-4AB4-8B8E-D426C8C7B931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918971$99C0345C-04DF-4048-B184-9B17B7243DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918971$C2CCC75C-4349-4813-BDD4-B8E232BAD34C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dd5fcdd905cce1b6676afe96d50a8d3c4501b21","datavalue":{"value":"6089202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918971$ADC22AFB-A974-45B5-943C-87789BCB1C7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918971$1E6B44B4-F371-40FC-BF03-1D28277D3212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c207c6be16ae2e70340ba5f65d6bf73ac0ff872","datavalue":{"value":"graph transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918971$8D2400F8-ABE4-4689-8E99-202E3BE3FB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918971$4C63C896-5610-4D7C-B21D-FD474A6B6850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df0e58858553bf75a3f0d1f4a577d6d71bcb0921","datavalue":{"value":"graph logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918971$6F5E3CCB-C7C6-4F34-8F31-4BA477D1FC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc88a85eafc98bb9677b264fb73e786eec79ad85","datavalue":{"value":"approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918971$6B91C8A1-8637-4196-8530-15DD97C1D7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918971$80B78281-0901-4834-8911-8BB12D677F58","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"87c83bab8dd993fa5105898c1637c30cda2440ef","datavalue":{"value":"Q56501400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918971$8F4492AB-4A48-4122-8FF4-6BEAAEC8A633","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":"Q2918971$7C479254-290A-4795-ACDD-5CBCCEA20F14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d38fd6f2025da6bf6abbee5ed7e587eb8a5a29e6","datavalue":{"value":"W207961743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918971$7B0366BC-E7CD-4570-B920-11DF48076E68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b5a73f0fab03475355160b1a33e0685f6c1f3e","datavalue":{"value":{"entity-type":"item","numeric-id":937301,"id":"Q937301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862462b192c6efad65406a670c3f55446f57c581","datavalue":{"value":{"amount":"+0.77846759557724","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":"Q2918971$9B5E0CF4-1F5B-4888-B077-AC23A70CF81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f59560a8b4cce1553702a86f541d00e3acf12c","datavalue":{"value":{"entity-type":"item","numeric-id":4438762,"id":"Q4438762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65dd9baee6510a9caa72b57943bd58237bd6c4d0","datavalue":{"value":{"amount":"+0.7599133849143982","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":"Q2918971$80AB55DE-D5FE-463F-9A3D-A1AF113DDBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841964ed0dc699422f88da66e1eba9e70121fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":4813402,"id":"Q4813402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dac93a16401e955935e6853dbe5fd6c792bdff","datavalue":{"value":{"amount":"+0.7358041405677795","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":"Q2918971$9B7056F6-3C98-45DC-8D80-F8B7922CE139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f336a5cede667cc284c9729d1f9b546b317272","datavalue":{"value":{"entity-type":"item","numeric-id":3540408,"id":"Q3540408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3634d2f515db35edba79554d19e72c3a082d7a78","datavalue":{"value":{"amount":"+0.717900276184082","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":"Q2918971$7D8E2A4F-D99C-4554-982D-F054493DA7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5b0622b946b64d3bcbe9a2e57c21e70d7bd03","datavalue":{"value":{"entity-type":"item","numeric-id":2847775,"id":"Q2847775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d560617fcc26353631db3a8731866cb7e4ee51","datavalue":{"value":{"amount":"+0.7086377739906311","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":"Q2918971$06F6B2FE-E6C4-457C-B1FE-285B1043D2F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2918971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2918971"}}}}}