{"entities":{"Q1125063":{"pageid":1135812,"ns":120,"title":"Item:Q1125063","lastrevid":66182937,"modified":"2026-04-12T08:06:17Z","type":"item","id":"Q1125063","labels":{"en":{"language":"en","value":"Strong stability and the incompleteness of stable models for \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1371591"}},"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":"Q1125063$6394C4C0-5FEA-44E4-A830-8AF8D8D99C4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa9b1189d539c72c61987aed88b123dde2c4732e","datavalue":{"value":{"text":"Strong stability and the incompleteness of stable models for \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125063$60A9BB59-DDDB-46AF-A765-9E360CEB55DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a662744b579f62326f6bb71de84fa71c3c8f46b6","datavalue":{"value":"0935.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125063$7207151E-2BAE-4B2E-B55D-493F3A63A258","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cbc9d7a6a3349ccc39601f701b13361a6e0fd4a","datavalue":{"value":"10.1016/S0168-0072(99)00015-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125063$60CB68C5-D264-4B1B-AABB-5F01FC887CE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b3b52ad792bc9cd9a29fce61aa51829b11594d","datavalue":{"value":{"entity-type":"item","numeric-id":1125061,"id":"Q1125061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125063$C40A33DE-92F4-480F-9288-B37918F887E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45a4584f3c053c3ab6a07878f5190ac877767fe7","datavalue":{"value":{"entity-type":"item","numeric-id":1125062,"id":"Q1125062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125063$5FA1AB5B-4D64-499D-88AC-35F5494DCF77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125063$1F6B08CE-4978-4085-91A1-E51E27B08BB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17efae152c5b59503115bb21d795e62311ef5a22","datavalue":{"value":{"time":"+1999-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125063$8E6C1A9D-8CBC-4A07-94BF-0CD5947552BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125063$4D89CD7D-7418-4543-A7DA-E58DDA6582D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff8f097ed93b245a222b311d7832cdbd0c9da61c","datavalue":{"value":"1371591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125063$C324DF12-D0E6-429F-9AD4-80BD3B881C68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125063$28650214-D182-4AAD-A527-74D853D85A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125063$8F4E779E-646A-4A63-B40A-1C584CD86054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c4f084fe34e39c4e45c930a1e56b4b635030f2","datavalue":{"value":"strong stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125063$5BA1E152-A18B-42E1-A1F6-DB90E670E85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125063$15D8CBC4-AAEB-4035-915C-4ADBE62347EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125063$4889774D-E056-42AC-BBED-73052F7B2403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51062106b1ddd36cffe78502634f98489f7064c4","datavalue":{"value":"continuous model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125063$50AB3E4D-DADB-4AA6-94FA-03B9B7084023","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":"Q1125063$07C0D265-241B-48F1-A131-DD58D9B91B58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37827e46ff4f4975a87a25a10e14cb616c1c40e3","datavalue":{"value":{"entity-type":"item","numeric-id":4886631,"id":"Q4886631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f38d274e55665008336c16b686ca3779b896fcb","datavalue":{"value":{"amount":"+0.9531500935554504","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":"Q1125063$B2B5FCCF-A024-4C0B-A0E6-4562C397D171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5096051ec20ac867655c8ecadc3f9d33edc4fec1","datavalue":{"value":{"entity-type":"item","numeric-id":5958611,"id":"Q5958611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bece946225c95ad4d2a316b08244b07c0ae9b252","datavalue":{"value":{"amount":"+0.8307711482048035","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":"Q1125063$E0FEB40D-2F34-4F7C-A0C2-F42CD9589607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab827eeac03a5dcda83e79f62427aa0e8a77606","datavalue":{"value":{"entity-type":"item","numeric-id":698623,"id":"Q698623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a239438b731b8a89a6503a48c75a1b4033a7ea39","datavalue":{"value":{"amount":"+0.8300201892852783","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":"Q1125063$DF49728E-8306-48A3-BCCC-E5D3682F4BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a819ed2af7d49b231945ce8b9161cead57dde8d","datavalue":{"value":{"entity-type":"item","numeric-id":5267435,"id":"Q5267435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738570a3d9383a272b2a516b090577b9778c8907","datavalue":{"value":{"amount":"+0.8187273740768433","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":"Q1125063$2818CFAB-7288-46B4-88CE-7891EFEA3B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb214e257ac056fe2c551f1b55288afa11dc6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3816053,"id":"Q3816053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d252abbf13212c867eca2d85b35a1eb4e2f73d","datavalue":{"value":{"amount":"+0.7966561317443848","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":"Q1125063$81942465-228D-4FE2-8EE6-BB0CCAA34B4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong stability and the incompleteness of stable models for \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_stability_and_the_incompleteness_of_stable_models_for_%5C(%5Clambda%5C)-calculus"}}}}}