{"entities":{"Q5096404":{"pageid":7125980,"ns":120,"title":"Item:Q5096404","lastrevid":54382409,"modified":"2026-01-26T17:53:28Z","type":"item","id":"Q5096404","labels":{"en":{"language":"en","value":"An algebraic construction of the well-founded model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572232"}},"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":"Q5096404$4391294A-EDEA-4FFC-A3EC-3E45279F5C5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e6864ffce4ebad705f849e080fea3034913f72d","datavalue":{"value":{"text":"An algebraic construction of the well-founded model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096404$0F36A55F-FCA6-49B2-AFCE-48BFFAD4DFF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2bcc2596173acb9afaccd332ea15a3f8f303dfd","datavalue":{"value":"1496.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096404$CCC7574B-B6A7-474A-82E7-5914929F6365","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddbc9b5b32f727fa580c7d20bdaca49ab90a0be5","datavalue":{"value":"10.1007/3-540-60043-4_75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096404$772109B6-4620-465E-9C62-4C3685C2E96B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"862c3964da9d99fba171f2bb5c5416ecc7e6e64c","datavalue":{"value":{"entity-type":"item","numeric-id":1859995,"id":"Q1859995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$C1D5CDD0-BA4F-49EC-9BE9-245BC21DDD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7d7761e7e80dc68f443d3ca9e91861f85c2ecf1","datavalue":{"value":{"entity-type":"item","numeric-id":1653450,"id":"Q1653450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$AC5C2281-1058-4B9E-8E35-73613606ACDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$C2B54644-FC19-4477-B009-921CA32618CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096404$C435D50A-E3B5-4654-957C-C0BD4BF24E8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096404$F75C02FD-2266-431D-B964-2331450B2315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096404$C239AD2A-5BEC-4CCC-AB96-36268317708B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfe8adcd3012aa39c3c72f3adaa1232a299316af","datavalue":{"value":"7572232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096404$F5A1286E-24F4-4B91-BA33-625B39DEA198","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096404$A8B85A92-120F-431C-B151-28AE353B4777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096404$330F668D-A129-4D9A-A04C-FCF72713D60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096404$F8C46579-0E2D-42A8-A17B-F0206479A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3533d116b2c88b52910d79b1678e297196854142","datavalue":{"value":"negative inferences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096404$0F408B9E-5581-4409-A2E8-ABC063E249C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64fbef135ce1734fe8abce9c1795ba5fd5fbad70","datavalue":{"value":"well-founded model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096404$F96E1F98-F0BE-4F2C-8BD7-7CCF77EEBBAB","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":"Q5096404$065DCD0E-053C-4D40-8586-7BF04F3DD070","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5dc0767e0e36811135e98533c22b7d606e08248","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_75","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096404$E58DE286-EDE4-4FC1-A6CE-6ACD80B814DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3656fe051c73fdccfe21b7ee86d40f221e5e44d","datavalue":{"value":"W1480351826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096404$347D2D8F-A027-48FA-AEB6-992EFE17B5A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55850e68fa3ec0188586a0bc8ef0ec507ed2363","datavalue":{"value":{"entity-type":"item","numeric-id":3477990,"id":"Q3477990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$523AA57F-60E1-4334-9197-064995A9C44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a343595a6e2809f49cdbefe58fb50a5f7edefd","datavalue":{"value":{"entity-type":"item","numeric-id":4847156,"id":"Q4847156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$6518E3C6-6392-4DF7-85DB-8BE5C2A04335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514e96b2c99e4d4455c9c924ba4d548d76b5174a","datavalue":{"value":{"entity-type":"item","numeric-id":4694697,"id":"Q4694697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$D1F2B32D-2C0F-4B9D-A110-C7D870467D87","rank":"normal"},{"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":"Q5096404$1C094D7B-2865-463C-82B5-E29A49CADF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$47A22ABC-2970-43E3-8B02-CEB163AE238B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9beced05b93ca073264b89b7bffb87a9335b2496","datavalue":{"value":{"entity-type":"item","numeric-id":1198101,"id":"Q1198101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$4C30EB41-3F63-4997-BA77-21474BE572BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7727791b011efe05898560876f04849bc9615d85","datavalue":{"value":{"entity-type":"item","numeric-id":4327632,"id":"Q4327632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$07422E29-0D48-48A7-A08E-FA27C895260D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096404$122F0D57-1AB3-4B67-8C1D-9D9691EC959E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd9ee64c727bdc6453747ba4c935a98d17ee7b2","datavalue":{"value":{"entity-type":"item","numeric-id":3114457,"id":"Q3114457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94a0effb90a03fd967ab1aa2c0bb91b2fbae5ce","datavalue":{"value":{"amount":"+0.9159460067749025","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":"Q5096404$AC5F3EDA-B7A0-4C5F-8425-58291B66A48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121eee2cfd0917e0ad491a655bd4816cd7d2bfc9","datavalue":{"value":{"entity-type":"item","numeric-id":4847156,"id":"Q4847156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fbe296437fb6342e74dfa561a82e6b6e3daefd","datavalue":{"value":{"amount":"+0.8707541823387146","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":"Q5096404$F939684D-068C-41A8-93B8-EC16E7E878D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5512a55ae85e6127a1e493dddaa9e184531991d1","datavalue":{"value":{"entity-type":"item","numeric-id":1653451,"id":"Q1653451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1826cacffa6b88ecfa66ec7b96b61967da7495b2","datavalue":{"value":{"amount":"+0.7944104671478271","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":"Q5096404$E80D9421-4645-4C6E-8F6A-9D41B9473410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284162c997f14566efa58c9e7895f85720a039aa","datavalue":{"value":{"entity-type":"item","numeric-id":1185011,"id":"Q1185011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecaa74e7b3711d650d2214a14e62a32ca3e9ad5e","datavalue":{"value":{"amount":"+0.7788206934928894","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":"Q5096404$B552B79B-8F2F-40D8-8941-277B195F968D","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":"e45d4f1f60861e9489cb00bd950094d37558fdbf","datavalue":{"value":{"amount":"+0.7761742472648621","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":"Q5096404$7DDBCFE6-8800-4B77-8838-635D4CE2CFCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096404"}}}}}