{"entities":{"Q3477937":{"pageid":5499558,"ns":120,"title":"Item:Q3477937","lastrevid":80547185,"modified":"2026-05-06T16:26:56Z","type":"item","id":"Q3477937","labels":{"en":{"language":"en","value":"Foundations of declarative testing in arbitrary logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4147472"}},"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":"Q3477937$7C08E57A-BAFD-4E9B-BB80-990D0560FBDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdfc341e6a8c86c766358c027870d4dce8ffec4b","datavalue":{"value":{"text":"Foundations of declarative testing in arbitrary logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3477937$CE2B2013-5155-4BAA-A107-FADE549B3A8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15b845eee77da828531c6211deb4b4bdc40d6abd","datavalue":{"value":"0699.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477937$B95523B0-91F5-4B51-ABBE-327EA40217C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff8973b966b6029de25e7dcd28783df2fee21dba","datavalue":{"value":"10.1080/00207169008803872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477937$FC56A815-7452-445A-BCE6-FEAFCB9F21FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3477937$E0278282-DF4E-484A-BAEA-20A5FABE59B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3477937$5F299157-D6D7-41E3-8B59-D4DA3E22AE4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477937$2B349958-413C-4F5F-8B58-2D3B07732794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477937$5965E5AE-A9F7-4628-9AC0-AFA6BD5C765C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477937$1A45AB38-9879-4772-B133-2B16934F1D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477937$035A92FF-1751-451D-AEC5-D2D5817F9792","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c3a51e572f341eed8414a1a7f3108857083934a","datavalue":{"value":"4147472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477937$6B8B4016-FA01-4283-85C9-408AB20F7690","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3477937$D8F7396E-520A-4FF8-BC4A-61A6423EAB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf38dc2a3c6bc23b02190986a4daee3e7c0d5248","datavalue":{"value":"Declarative testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3477937$5DF40B16-E83E-49BB-9AB8-2496865C679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3477937$3E3C8779-77C1-4740-849C-D50CEB11EE87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"665b67894e9d2236065f0e79b1b4c4a2381398a7","datavalue":{"value":{"entity-type":"item","numeric-id":1192186,"id":"Q1192186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3477937$A7951DC4-091C-485E-AD55-A955C0C037B7","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":"Q3477937$169A729C-18CC-4D45-B18F-991A0585F422","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"576921b387c9b321a7de890aadf7bd67544fe7e8","datavalue":{"value":"https://doi.org/10.1080/00207169008803872","type":"string"},"datatype":"url"},"type":"statement","id":"Q3477937$A0B4093C-F4DC-4318-B67E-A179D14FA91A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"280db4814f1be01f28b15b71dad9895299ad0b5b","datavalue":{"value":"W2034308131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477937$AABA6C01-5392-4C8E-B97F-C5B66B41BBD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9364369dc978f31fa9c070bbea7448a0469d2946","datavalue":{"value":{"entity-type":"item","numeric-id":3992721,"id":"Q3992721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3477937$5B966A12-1CF3-46F5-9000-F38CD44B5121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8591194cedb8973adb5ed4808d71864d84c625","datavalue":{"value":{"entity-type":"item","numeric-id":4141219,"id":"Q4141219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3477937$04FF8DFD-7557-4C24-BC1D-F166B451F1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3477937$65A5F55E-DFA2-4574-B0FD-C66BFF1B35EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37159249d26633301ff8166c62dbf7c2f2715b9","datavalue":{"value":{"entity-type":"item","numeric-id":5504672,"id":"Q5504672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2a926c7a54c3542bd423d391acfb6b77c1c38c","datavalue":{"value":{"amount":"+0.7422351837158203","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":"Q3477937$32DB6078-EF99-40CE-AAE6-B56EC141230B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a0b648e73d763fd3889928060ca2020f24f5d0","datavalue":{"value":{"entity-type":"item","numeric-id":2763637,"id":"Q2763637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a9d291f4e7862ad7654b9017f2102d82538d35","datavalue":{"value":{"amount":"+0.7413425445556641","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":"Q3477937$7A1E9CF7-2E19-45BD-88C6-1044049E5670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a9c2bdd803889739e2d67e5769e4e2790a6baf","datavalue":{"value":{"entity-type":"item","numeric-id":2841221,"id":"Q2841221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316a85e00fd46036fd61398a1f8c796c8ccc6778","datavalue":{"value":{"amount":"+0.7271615266799927","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":"Q3477937$A1A10B70-EC47-4CB8-B6BE-8F2EE345F834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da608a22c5e6ac6c80ee22a454515a4a0241038","datavalue":{"value":{"entity-type":"item","numeric-id":4713366,"id":"Q4713366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86af81eba3e9a6bf763b5c3de00090b11e8c7a80","datavalue":{"value":{"amount":"+0.7239788174629211","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":"Q3477937$BDE4D253-B95D-4741-BC43-B06BE9182A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e6e8108331c8375352a17642573df4359779c5","datavalue":{"value":{"entity-type":"item","numeric-id":3485855,"id":"Q3485855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e993bd413b657708ab99c014d98bf2355d26211b","datavalue":{"value":{"amount":"+0.7203184962272644","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":"Q3477937$57036633-2C16-47F4-98A0-672877EF0693","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundations of declarative testing in arbitrary logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundations_of_declarative_testing_in_arbitrary_logic_programming"}}}}}