{"entities":{"Q812390":{"pageid":814238,"ns":120,"title":"Item:Q812390","lastrevid":64527246,"modified":"2026-04-11T20:29:46Z","type":"item","id":"Q812390","labels":{"en":{"language":"en","value":"Logic programming with infinite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000690"}},"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":"Q812390$6E38F246-89AF-4E41-9792-17573D1BC8C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4fe023ef774bc4fc584e53a9767a2740350ddf6","datavalue":{"value":{"text":"Logic programming with infinite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812390$C0DD4A01-91C8-4646-A26A-F2443A47E772","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46adf7d02e12b1dbebeedf8af0f9405d87bcd56b","datavalue":{"value":"1086.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812390$CB2B1FFA-A713-4286-BCBE-52C41A6ACCB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145c03530c940241521ed95376f4dbe1797e1d36","datavalue":{"value":{"entity-type":"item","numeric-id":524277,"id":"Q524277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$2F5690F9-4845-4819-8DDD-949DEF350556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$73B9E8CB-FA02-48FF-8CB0-86C87064BE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc30c87ee90e636f091c198a5b55721665c69f9","datavalue":{"value":{"entity-type":"item","numeric-id":698606,"id":"Q698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$523F7DD8-90BD-4A23-A1BE-380C019B0E6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$26EEB87F-0E86-45F4-B9D8-8E08029816E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q812390$7430E7D4-9CBB-4F48-9632-724CE20B4676","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812390$E80F820D-F429-497A-9835-46EC037CE135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812390$A7B784F3-A743-4DAA-981D-7EE5982DB189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812390$7F688958-B6DE-47A3-B94E-06C1E4ED4799","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a94019155d4c0f9a0fe58e2c0fd0028f8619953","datavalue":{"value":"5000690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812390$27C91766-F778-4A12-92F8-C31E4123AC03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q812390$95645240-388D-4BAA-A3C2-77BCF22C59EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q812390$F96A72CC-132D-472C-B728-D2376E363EC2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$851E318D-C203-4E57-A4A2-50794A523834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$425D2DCB-C542-40B5-BD6F-8911E4067C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$19184497-44B9-4A65-B42E-E7EAAFEA17BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$659A6B69-E47E-4B2E-8880-8333BFC94AF4","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":"Q812390$F9B621D7-0862-4CAD-A4CC-7FE8533D2BBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"519f334c6c6befc9299d16509c9366251c058265","datavalue":{"value":"https://doi.org/10.1007/s10472-005-7030-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q812390$7E468F6C-BA1B-4CDF-8322-00030781E940","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ff9e5927da299c87985f8d5f529212182ca40b9","datavalue":{"value":"W2051739852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812390$CF016E89-8B89-4B9F-8AB5-820D03764267","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc9b52d718bd59de9351473faf9201272b43c7d","datavalue":{"value":{"entity-type":"item","numeric-id":4798024,"id":"Q4798024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$07DFB27B-4C94-4D22-96B3-32CC4B40E56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11ef0dda58449f200712db088b699d62dbc7885","datavalue":{"value":{"entity-type":"item","numeric-id":3477998,"id":"Q3477998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$34FFF0EA-2AF1-4F7C-9475-98697235713A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$E0C6394B-C8BE-4A28-8EA6-3A79CA6D16F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"181b0ac17c3f28c3e8ded082301cb246642c093b","datavalue":{"value":{"entity-type":"item","numeric-id":1924734,"id":"Q1924734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$0CF3C7E0-3149-48C5-8372-F370426CF4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fedf01dfc1ce73aa55b84c6df61023cd055ad35","datavalue":{"value":{"entity-type":"item","numeric-id":4800167,"id":"Q4800167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$AE446B10-367C-4FD4-8CB8-2DE74D25A4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a740e46afe023e451c11475c01a910ad507d1028","datavalue":{"value":{"entity-type":"item","numeric-id":814596,"id":"Q814596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$FBD466DB-42B9-48B2-AAA9-51BA992DECA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740895d5109dff86c7f5d44943156f3dcaf3d6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1295386,"id":"Q1295386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$4E5B3CD5-A050-44C6-96A7-81372B14CDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd90d8cd9582132d8d789dec83baa81c1ec8544","datavalue":{"value":{"entity-type":"item","numeric-id":1430287,"id":"Q1430287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$0CB7292D-D685-4504-B971-B4D42E782902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c80832e650dd91e7c07ca5fdf93a8580029fd57c","datavalue":{"value":{"entity-type":"item","numeric-id":4474859,"id":"Q4474859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$753510BB-6EC8-456F-BB34-2C937B71277A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b09f58c2305df0b2d6f3b3a6465ec3e5b5904","datavalue":{"value":{"entity-type":"item","numeric-id":3129506,"id":"Q3129506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$4CD643AB-50DE-4AD6-B489-F5A6117C9F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea33650a4de36582174ef97f4bde441e228d53d","datavalue":{"value":{"entity-type":"item","numeric-id":5191486,"id":"Q5191486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$4ED27F5C-4006-4C4C-966D-7269CFE7CD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d155c7dcd0b41aa8d5369fa6a9b7a5ca42b115","datavalue":{"value":{"entity-type":"item","numeric-id":1603731,"id":"Q1603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$6DF37F85-2EFB-43F9-8188-C662A3B96979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$C98C047B-BBBF-448B-97E8-E3F2B2A751FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$B2FB9454-7FB3-42EC-8C50-0AEBB012E508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca511e8a59f8c29937fc0951b954c7c612f12517","datavalue":{"value":{"entity-type":"item","numeric-id":4935250,"id":"Q4935250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$25A44D4C-64A2-4CBF-992C-8B3FAD74160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f40f7943146117c8e05bba7b8a3ff87d13179d","datavalue":{"value":{"entity-type":"item","numeric-id":4318872,"id":"Q4318872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$08F0B87F-7AB1-4A6A-91CB-86F4316D18FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b166f6ba3a07b191e1e00f9cdab61bd10c7406cb","datavalue":{"value":{"entity-type":"item","numeric-id":5424872,"id":"Q5424872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$67C7094B-CEC8-4DF7-BE76-526140EC7CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$72F1D025-3646-4E7D-8370-4748195A2B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$54473107-4E89-43E5-A330-3793E899155B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f501bbfbb1e6e7308e5e8e7a6673bfa85791390","datavalue":{"value":{"entity-type":"item","numeric-id":4955344,"id":"Q4955344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$2C7E504A-8426-48FA-ADA4-89EEA4E0DDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48453128754bce5b8adae4af5564eb4c85cd90e2","datavalue":{"value":{"entity-type":"item","numeric-id":2734950,"id":"Q2734950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$A6C6907D-3049-4781-8B5B-50FC46BC7360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$DC524AF5-F358-4801-BD79-D2705C535FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$CA75E327-C51C-4ED8-9C76-D6A44303771F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8335243ed3eb334f2f74bcd30d94e64a56ee8a69","datavalue":{"value":{"entity-type":"item","numeric-id":5724782,"id":"Q5724782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$F7591090-3B4D-4BFC-B739-DAE50EE25565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3ee712044cc251ade8b58cd4015fc55f1e99fa","datavalue":{"value":{"entity-type":"item","numeric-id":4798015,"id":"Q4798015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812390$68BEFDA1-75D1-4E7E-B069-A39A635001CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17dda8a7ff1cecf5f5402bbb45e30a723bf623ef","datavalue":{"value":"10.1007/S10472-005-7030-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812390$A020B91D-64B4-4146-8D00-43C7E7674ECB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf07780ed48af6011da97f978af5c34ddd6bf447","datavalue":{"value":{"entity-type":"item","numeric-id":909435,"id":"Q909435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b2c4d184a076c1bbe4d56b504467cc3eb75da0","datavalue":{"value":{"amount":"+0.91482246","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":"Q812390$5D8835DA-7FCA-4F20-ADC2-349D04423204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0cd5468cbf2f074483626d977a8eac7eed4baf","datavalue":{"value":{"amount":"+0.9142821","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":"Q812390$431AA700-8B14-4CEA-BF46-099930C8F7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fde179e50b26c8f70fbf0551ce331f90582993b","datavalue":{"value":{"entity-type":"item","numeric-id":3001917,"id":"Q3001917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d357f98188705363d7e1da2466460aa5835fdc","datavalue":{"value":{"amount":"+0.91374063","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":"Q812390$504E3335-51A8-4A12-943C-3363973A6F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69774367d5a74f4b463c400a62bd6a629de91fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3221399,"id":"Q3221399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc811ee3456d3e8ffcab0b8087d604407c10bcb9","datavalue":{"value":{"amount":"+0.91059124","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":"Q812390$16CEDFA6-3A3F-436C-8ED3-1E7EBDB2DEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e361e38977787cf16bbc51fd0c1b8fdcbb76d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":672337,"id":"Q672337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d525d5a348a16fcd1382ba51abf9600bc084f43","datavalue":{"value":{"amount":"+0.9048619","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":"Q812390$BF335CC7-854B-42F8-978D-DF8D528C2178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beec96db776a089983412407a6acae56aa3f6dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3787447,"id":"Q3787447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6ff3ab47b2a3c72713c2f3400d75f3590a7027","datavalue":{"value":{"amount":"+0.90387225","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":"Q812390$66F7B060-E07A-4BB3-81BD-2DCED08B4782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533086404a1e35f8cd135d532dd761cc0f318725","datavalue":{"value":{"entity-type":"item","numeric-id":5204339,"id":"Q5204339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833fa661c637ec93f2cb4dab0667b94571660bbb","datavalue":{"value":{"amount":"+0.8964905","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":"Q812390$E6738B4B-BA70-4B14-8BB2-1ED1CE506524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c64e5368e4d9afa82497c32fa73688396e4c09","datavalue":{"value":{"entity-type":"item","numeric-id":1090469,"id":"Q1090469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5e92d3e9100c0c363f56a73e3d8948ecbe9607","datavalue":{"value":{"amount":"+0.89389384","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":"Q812390$8BC67D84-D305-46D8-A755-692C8F8E9A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70b6625a84935d8c1607ef40e216de7c4aeeecc","datavalue":{"value":{"entity-type":"item","numeric-id":4993083,"id":"Q4993083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08ee956e1c8823dad24a1919dcb9537906e8c5e","datavalue":{"value":{"amount":"+0.8877307","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":"Q812390$F57A84E2-42F7-4B25-9085-D83CA73A3F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33992471dbad5f66bd0634315b5a2abfd61c4083","datavalue":{"value":{"entity-type":"item","numeric-id":3780493,"id":"Q3780493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08495338ba3710cbbdde501e7a451f1298bcaba8","datavalue":{"value":{"amount":"+0.88087976","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":"Q812390$CFE6BFD0-BBF4-4F5B-99A5-126E4E6DE9DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic programming with infinite sets","badges":[]}}}}}