{"entities":{"Q3508522":{"pageid":5538426,"ns":120,"title":"Item:Q3508522","lastrevid":50395391,"modified":"2026-01-13T23:19:46Z","type":"item","id":"Q3508522","labels":{"en":{"language":"en","value":"Test Selection Criteria for Quantifier-Free First-Order Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294868"}},"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":"Q3508522$730213F2-2C11-4BB3-B22C-EC8F26F6378C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f5bf06e0a21d6350c4e8f716139d3e3c7582355","datavalue":{"value":{"text":"Test Selection Criteria for Quantifier-Free First-Order Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508522$40C488DD-3551-4B46-BBAE-7FEA0D9F7A35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"761350ddfa2af940d6dacf4cc589cb85eb600f66","datavalue":{"value":"1141.68447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508522$02B1FD48-0E80-41A6-AA60-98E2D35977FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01b5322d90e1cb8b4ee19c1be50bda14fe39e371","datavalue":{"value":"10.1007/978-3-540-75698-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508522$5BB9F322-DE52-48E9-8214-93EF91480FC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"086e12049a4f65f0db8f7826b3d43f2cf3b6be32","datavalue":{"value":{"entity-type":"item","numeric-id":359892,"id":"Q359892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508522$5181CB36-3D77-4836-9D72-59DDE8616A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da2f50dec62c539db6e330e6173864ba4c3d844b","datavalue":{"value":{"entity-type":"item","numeric-id":3192243,"id":"Q3192243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508522$F6560656-4CDD-4D6F-A21E-45C4DB7456DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a54ebf41c09d98548c5a350681cdccac803d3244","datavalue":{"value":{"entity-type":"item","numeric-id":359894,"id":"Q359894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508522$65D21F15-05BA-4652-8380-01C69017CF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"192e7cd97b7b8e011a36ba44451f1e905baaf1ae","datavalue":{"value":{"entity-type":"item","numeric-id":530210,"id":"Q530210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508522$2C2CCF6D-BF07-4257-8C8F-ED20CBFCD31D","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":"Q3508522$7A57F5D5-901E-4114-B18F-DF87A002F046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3508522$80E985A2-01A8-494A-BBA5-75142AE0A631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508522$05DA5141-4ECD-4A07-BA55-D12BB219CD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508522$B1419745-B73F-4130-89DE-BEFB6E204EB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"907d2bb17271bed62d13b1450f08cd731fdeaa20","datavalue":{"value":"5294868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508522$3DB228CD-3DC0-4287-8426-EE962F50A795","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b62674516c8beb7242240b96d8e967606cd3c926","datavalue":{"value":"Specification-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508522$A804812A-02D8-44AD-996D-C9A621572FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015ac0a98799cff5ac375bb5ee3b5bacfebe3e45","datavalue":{"value":"quantifier-free first-order specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508522$24653F7A-92C4-40F9-87D9-38446D89B1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f4ff50b194c7f91805f2fde31017ab877ff866d","datavalue":{"value":"selection criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508522$6E2F18AF-6805-418E-B88C-D6C22FD1F1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc9e4b59e06eb602de5a49e57e3fb95cc7872a","datavalue":{"value":"test purpose","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508522$9B6AF47C-0F69-485C-B55B-0B96A7DDEDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040f95352b67781a4c3e2cb2cb91c73d10e3d3eb","datavalue":{"value":"axiom coverage","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508522$54AB9E83-B2EF-4E29-B51A-71ADCE7DF7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508522$1F054E54-8BF9-48DA-9920-B28FF723F141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2f33c24e85c3efacef4e5bd23fa3089d25558e","datavalue":{"value":"proof tree normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508522$B88F7B9D-1BB0-4CD6-9594-8C164FA1098E","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":"Q3508522$B5BEF928-F9A1-418B-B93E-97758E11715F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"decd84258c0e1246e72bc7f7a5b6a88f7db6b74d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75698-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508522$5A265343-CE02-4DA7-9BF0-63C87431FE32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"185cd35b6d362c3938056baf99faf733d0816911","datavalue":{"value":"W4235616438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508522$64F78E08-D2A9-4796-BC99-E0CB9D38FE47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87dc24857e6c444f6cb7b180f5bf91b129c131a2","datavalue":{"value":{"entity-type":"item","numeric-id":616851,"id":"Q616851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c06fe95883f7480657a9065b343c45ecacc2cc4","datavalue":{"value":{"amount":"+0.9002893567085266","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":"Q3508522$1F99A2CB-0F03-410C-B684-5D97A54AB9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb30fd1acacdca1302f9bfbfa7c46c0fcb5d26e","datavalue":{"value":{"entity-type":"item","numeric-id":3434613,"id":"Q3434613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f4a6556e19ba754e2e54a5edcc1d3c7a03b5ea","datavalue":{"value":{"amount":"+0.7884840965270996","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":"Q3508522$4AC482A3-65E1-4941-9FF7-FB62A45E9567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8de1e14b895929d04da58d1c9919031eaa68a4","datavalue":{"value":{"entity-type":"item","numeric-id":2771764,"id":"Q2771764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fcc7172164557831196e5a8d0c20ddbcea1b88","datavalue":{"value":{"amount":"+0.7628377079963684","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":"Q3508522$B9F16BDD-CE83-4CE3-A913-3CDFD2464A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df8cf08a62788ef5a05324efb95d5e12559d1c38","datavalue":{"value":{"entity-type":"item","numeric-id":4825887,"id":"Q4825887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd11b686e756c7d1850e42936e0593367fd07b0","datavalue":{"value":{"amount":"+0.7564957737922668","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":"Q3508522$5EA53C7B-4982-432B-BB68-6DDDC369FCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06282034f2ee9ef33b50496d90bca0d37497c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":3393414,"id":"Q3393414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61eaae700bf40af7bb5e23d8f46a3abcd16d49d9","datavalue":{"value":{"amount":"+0.7229738831520081","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":"Q3508522$2340BEE1-28D8-48BC-9109-F9FAAB0FF75B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3508522"}}}}}