{"entities":{"Q5101446":{"pageid":7131022,"ns":120,"title":"Item:Q5101446","lastrevid":94280225,"modified":"2026-06-05T06:24:53Z","type":"item","id":"Q5101446","labels":{"en":{"language":"en","value":"Loop checking and the well-founded semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577924"}},"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":"Q5101446$7212CE7A-23A8-45D6-85B4-39E3587AFAC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e62ba86a2d0a429f02ec32ca00f29ff09a34b906","datavalue":{"value":{"text":"Loop checking and the well-founded semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5101446$717DC463-77A0-4D1F-AFBF-65740A3F86A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e3e0820814034ced8dbaa285e9b780060ae61af","datavalue":{"value":"1496.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101446$AE915732-3B18-44EE-881D-AD026A4E556E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"494a6f2863af7ef8e8ac8a2fc340795badb5cd38","datavalue":{"value":"10.1007/3-540-59487-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101446$BA140102-DD2E-4E24-8B17-8B32951ACBCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$D22E26C1-3CF1-4285-B03D-66CB7AFFFB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e487b7ae3ea037c5b24532aba8ac5bb08ec19931","datavalue":{"value":{"entity-type":"item","numeric-id":814549,"id":"Q814549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$A52FA7D7-31F4-44E5-9EAD-360D24805B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$0773FDCB-DEDE-4A0E-80B0-3CAAB0DC2282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0063046879a465ee73c49bedfbe8edc6b62b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1167444,"id":"Q1167444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$CDA7761A-895D-4AB9-8FFB-4C58112BBFD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$882918A9-F5C8-4F3C-A1C5-D22768574849","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101446$4D56D16C-5F58-4A3B-8587-2865625084E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101446$527B5C78-20EC-410E-8640-752B9D53222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101446$CCD436AD-6476-4A83-85C9-D99C17B83073","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba5e32c894d068cc4b5df2f80b74f15c7cb4afa3","datavalue":{"value":"7577924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101446$FCCDF688-0BA7-43E9-8055-5134C4A4EAB5","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":"Q5101446$59C8BE08-C0A5-4883-AEA6-514BCBDF5A67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b490a18cee29e03355b2f44bd92553f4b693606","datavalue":{"value":"https://doi.org/10.1007/3-540-59487-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101446$76199646-46A4-4264-9FDF-A4F075AD9A3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59d94b9a9d5e8539884b258bbe49e7a13ac5fd1c","datavalue":{"value":"W1886209570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101446$27CE865D-105D-48A2-A6A4-629B92962E9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba48fffe7088b9794ea33b5a41b3a6310422a10","datavalue":{"value":{"entity-type":"item","numeric-id":4275261,"id":"Q4275261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$3B07C18B-29DD-424D-9384-D9AD0E78E3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$75A85E0C-7755-42C9-A749-A9243763764D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04dd8b4fde7110b3fe0344d885bcf56de9bb83f0","datavalue":{"value":{"entity-type":"item","numeric-id":3983044,"id":"Q3983044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$E12E2FB3-A380-4A56-9A9C-33DBCDEFFEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adf3b69f1569c7efd2007397ab963a81fdd382b","datavalue":{"value":{"entity-type":"item","numeric-id":4725709,"id":"Q4725709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$2E4CEA27-361E-4573-A709-F709D3E07CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$17ECB515-58F0-4617-8962-EB6B0DA1FFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb678fcfbbb428f6b5621e5f89f6a8cb37d8f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$FE345775-30BB-4224-9C08-003CB783EA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ce0788002697ab9b3790a63d69b6340e9ac354","datavalue":{"value":{"entity-type":"item","numeric-id":1924748,"id":"Q1924748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101446$F9C0F421-AAB4-4733-994C-3BA79E026739","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9377993a3875b113123ad4442aafdab94ca06484","datavalue":{"value":{"entity-type":"item","numeric-id":4287491,"id":"Q4287491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7de9787f11a2c52f004a7faf0f2e8fc155ee4b","datavalue":{"value":{"amount":"+0.7974220514297485","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":"Q5101446$FD300F29-52B7-4F10-BE8A-548542764771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e20000f5070c255ed190c8727736c7af936efb6","datavalue":{"value":{"entity-type":"item","numeric-id":4854006,"id":"Q4854006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fd9c1dbf4a68f6ad4fc2c6872e373fcbe3eda2","datavalue":{"value":{"amount":"+0.7967696785926819","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":"Q5101446$27BF49CF-FCA1-4DF0-93D3-C1A9FCCB3C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78da4333d397224a2e07faae793670ccfe9a9824","datavalue":{"value":{"amount":"+0.79600989818573","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":"Q5101446$C54A6F79-1A6C-437E-BCA0-B7E436AF1740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35548dcb6d68e3d22d681ff1d46371a1082dd008","datavalue":{"value":{"entity-type":"item","numeric-id":5101445,"id":"Q5101445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa5706293c705e676b2aba0d24fa156448db8a4","datavalue":{"value":{"amount":"+0.7921575307846069","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":"Q5101446$C9697ED7-1437-4A26-BCC7-2623503728D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344960b7f685a2bb0dca22b8bccb2409013e0fe8","datavalue":{"value":{"entity-type":"item","numeric-id":1575249,"id":"Q1575249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50a42eb9d2c94b94f2670a42fd40918881a3ed0","datavalue":{"value":{"amount":"+0.792036235332489","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":"Q5101446$CC91305C-3B5B-4A13-9A15-D5078A3AD572","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Loop checking and the well-founded semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Loop_checking_and_the_well-founded_semantics"}}}}}