{"entities":{"Q609758":{"pageid":611534,"ns":120,"title":"Item:Q609758","lastrevid":63147102,"modified":"2026-04-11T10:56:30Z","type":"item","id":"Q609758","labels":{"en":{"language":"en","value":"Justification by infinite loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5822353"}},"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":"Q609758$7025A5C6-AF90-4EFA-8430-A3BB9F06DA18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0bfa64fe9cdb757cffe5fc7fa0e8b8da94deb2f","datavalue":{"value":{"text":"Justification by infinite loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q609758$7165FE22-4A73-4058-948B-3B2C03289899","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17422af87fde3f31037685a0485faf3decdbb30e","datavalue":{"value":"1205.60011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609758$BEE55DAD-D9FC-4300-BBD9-68A29E14849B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fea98821879ef3746c0ae4cabfe9812725595c54","datavalue":{"value":"10.1215/00294527-2010-025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609758$BFE7ECF5-9380-4196-B355-F0AFCE350F8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609758$907ABCFD-2FC6-4FA7-A2CD-50457274F8DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609758$01689546-DF9A-4B1F-B3A2-E9C0396A3400","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-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":"Q609758$EC793996-A8C5-4FF0-90F4-4E0B1232DF9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d26f1f9eed6f770774ab263a8afd39b7f3e8e52","datavalue":{"value":"60A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609758$1331F5F4-F8C8-4DBE-AF4B-2C2723DFFCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609758$06D9D084-3B73-466C-9FAB-F61C4D2DAB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609758$65D49DD8-97E8-42B6-A8A7-3684146FF83E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c013ec2a1f6388fc6e6adec5acd5305d092a3618","datavalue":{"value":"5822353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609758$EA44D153-1E83-4EEF-AFA4-179262EF63D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90943f19d11bd2f75065682ad26007e560bb0296","datavalue":{"value":"probabilistic justification","type":"string"},"datatype":"string"},"type":"statement","id":"Q609758$2A34E51F-4345-4A8D-A0C5-14F29CB2CCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd60b9e61e9714743691a64990a71b1f6d898c99","datavalue":{"value":"coherentism","type":"string"},"datatype":"string"},"type":"statement","id":"Q609758$FA69D549-CDFA-467C-B2F7-07029C5D417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4409e237f0a18ab6245204ff551c6493fbb73386","datavalue":{"value":"infinitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q609758$6F0AC5AF-7BEF-4C43-9923-1CA2E8AB9D66","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":"Q609758$D7BB15FF-E6BD-487C-8B1B-3CE2176CD42F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34749adcea7ace52530f84be062e3f1e00c3270c","datavalue":{"value":"https://doi.org/10.1215/00294527-2010-025","type":"string"},"datatype":"url"},"type":"statement","id":"Q609758$DEC10326-02A0-4E64-84BC-B1A72F3FA199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d8c2752753030bb55523fc1d07da25ba3eaf85a","datavalue":{"value":"W2083390502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609758$46D2EEB0-4638-4BFA-8A4C-FE2114D94BC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403997575b2dd3a565c306d8fc1c88de339adb9e","datavalue":{"value":{"entity-type":"item","numeric-id":5249783,"id":"Q5249783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec031bbc240f032d437624f658a4430d241f02ac","datavalue":{"value":{"amount":"+0.8190316","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":"Q609758$F3DC6E43-2EEB-4545-961B-D0061CE75B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91122daacba889a6ac0befe3ee8af712c8d4b6a4","datavalue":{"value":{"entity-type":"item","numeric-id":4523480,"id":"Q4523480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed586626607f3d9e65d13cbe1a737e716293952d","datavalue":{"value":{"amount":"+0.81474733","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":"Q609758$C1ACFD48-0F4B-44FC-9F77-D4FCD6BD4DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae29bd780743e18e6944de60c6d55a1cbd7e096","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f81af3cbc44b4edda01a6add6b257e0f4ea3fbc","datavalue":{"value":{"amount":"+0.8107641","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":"Q609758$DAFEE59E-EE8A-4523-B303-714AAEA578D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3a4d75fad2ba4ad9d56ea91b9be23f5f772c33","datavalue":{"value":{"entity-type":"item","numeric-id":1356848,"id":"Q1356848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d8b10c436f5686069135c41f6a13dabd444592","datavalue":{"value":{"amount":"+0.8106128","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":"Q609758$3A846974-7C40-4A54-AF8D-155584D74FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9fe2d557be3900233c50216fee7eb155c9a859","datavalue":{"value":{"entity-type":"item","numeric-id":4809168,"id":"Q4809168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd9bf0a982f11011fc6a0920350b31c44ea360b","datavalue":{"value":{"amount":"+0.80737233","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":"Q609758$69E2F613-B5D6-4A43-A918-F41BC8C9DAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d3e17b3156ae80656ef405567121206264ad18","datavalue":{"value":{"entity-type":"item","numeric-id":3753511,"id":"Q3753511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373c59af7560370b6acff7dba2edaf4937bb7c5a","datavalue":{"value":{"amount":"+0.80468833","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":"Q609758$962EBB45-78F6-466E-81E4-86D6A5B1684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1d728d9dd5d394289177587b9b70048f53df91","datavalue":{"value":{"entity-type":"item","numeric-id":1734260,"id":"Q1734260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ca41a8df0e6ebc4d2e82e195f7bc1eb53e190a","datavalue":{"value":{"amount":"+0.8039693","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":"Q609758$522464C0-AA92-4652-B788-D887893B44CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e940feb29969993b30c39a1d52a6e1f73c212b","datavalue":{"value":{"entity-type":"item","numeric-id":1038655,"id":"Q1038655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a39c998dc6ba9fcaf785099e2e8d74ac47710af","datavalue":{"value":{"amount":"+0.80217767","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":"Q609758$8F73F73F-35C6-486D-9B3C-A734605269F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31acd850273b6e225f391d6d8ab055056a5949d","datavalue":{"value":{"entity-type":"item","numeric-id":2181918,"id":"Q2181918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9ee4b34ffa895406ade7871996e4e204c1e056","datavalue":{"value":{"amount":"+0.7973971","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":"Q609758$9A67BE6D-2372-4AFB-8019-843F224B6CC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Justification by infinite loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Justification_by_infinite_loops"}}}}}