{"entities":{"Q5504658":{"pageid":7534218,"ns":120,"title":"Item:Q5504658","lastrevid":50547386,"modified":"2026-01-14T08:55:23Z","type":"item","id":"Q5504658","labels":{"en":{"language":"en","value":"On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496695"}},"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":"Q5504658$64FFDE09-7E4F-4C37-A771-90DEAAEE5809","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a99719b2aed27fcc7a06de62918005f2f82cef59","datavalue":{"value":{"text":"On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504658$4BBAEB2C-2488-4D90-9091-94D3F8C57B52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"114bdbd37596fe555b4d88047c1b0c3591115816","datavalue":{"value":"1185.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504658$D1E81CC5-FE05-46A0-8F3B-3E4640930A2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8814e484df26adeaa7a9600041ef0f44c24b57c","datavalue":{"value":"10.1007/978-3-540-89982-2_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504658$F5A09DEA-745F-4C6D-A936-912F660CCD0D","rank":"normal"}],"P16":[{"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":"Q5504658$4BA46EF1-1166-40CF-914B-CE9388B5A00C","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":"Q5504658$6422FD2D-6DB4-4F76-A916-BA21508D1456","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$93507E75-54A8-4AC7-AB23-68B4D3C9E097","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5504658$5EF10390-B616-4B2F-86C0-678155D7A638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504658$FBCCE1E0-A056-4239-B418-3F58341FF444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504658$0EEB2D45-FB30-4675-AFD8-1313B2EF4834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504658$043B2A4A-88DE-495A-AA5C-DFEA4701AE1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0740fd69d950d594aca915c9a7296c515318fdec","datavalue":{"value":"5496695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504658$841D22DE-2B26-4558-A61D-8B79166CAF17","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":"Q5504658$03E44856-6997-40D0-B77C-9704A9A0E5F7","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":"Q5504658$BDD72DD8-BF0A-41AB-9A1E-5E699A08138E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1625a41490d3e75f2334bcb7ae6bddeb1f5cf796","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89982-2_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504658$FBC3C2F0-5CDE-4708-A13B-CD6282AA56D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf059a1026df7e37140a8c96eb125968061fe4dc","datavalue":{"value":"W1574509484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504658$FE4CB3FC-32A3-402F-AA31-3BEA6B93FAA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f5d48ad5f87848ba0169288bf01b30b971d92e","datavalue":{"value":{"entity-type":"item","numeric-id":854963,"id":"Q854963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$82AF0867-5482-4F49-BB64-0E40F1E40208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$10DE3303-64F5-4B8B-A02F-03980C2400D0","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":"Q5504658$44ABB066-36B4-454B-9A00-DC9626C89F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40186b4bc6dc5379e28041d6a831a81f0211a04b","datavalue":{"value":{"entity-type":"item","numeric-id":1776197,"id":"Q1776197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$2AD68246-51F4-4C79-8C60-784F81F12975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69190f2fcb79af37af8501cc4522400218bea1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$24CBD8EC-1F73-42CF-A198-505696C4C7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff329274d40bcc90d45b9589ebb6dd8805d9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1356221,"id":"Q1356221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$9D58DD20-DCBE-4472-BD55-BEF5B9915FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23848f5cc002dab08c9e246881db71ecf933433","datavalue":{"value":{"entity-type":"item","numeric-id":1354038,"id":"Q1354038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$2E9F1A15-DDB9-4AA7-B5CD-A25F52520F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29be5df92e6c687222e69930ab554a7d3163b1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1326782,"id":"Q1326782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$293D145B-8D16-4D76-82B4-9E6514730916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2485593fa6a43c384d21c41a4d7e3bef4c2db5","datavalue":{"value":{"entity-type":"item","numeric-id":1192346,"id":"Q1192346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$86B59E65-E277-4505-8EEB-8E23072261A9","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":"Q5504658$6327A069-64BF-4F83-AC81-388ADBDF0F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6f8cd1a342d1af8b17dc618989caa86a68b9a6","datavalue":{"value":{"entity-type":"item","numeric-id":3608650,"id":"Q3608650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$29896D0F-7D5D-4257-86D1-99A8C2CEF244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8285f3e8e4a147d300d46ca4a10d5d72c455ad47","datavalue":{"value":{"entity-type":"item","numeric-id":3608651,"id":"Q3608651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$22EBB28B-A578-4F39-8533-13ADFE89CEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$836E0310-9AAF-47F5-A8E1-31E2C845A27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$719CD2D6-8F6F-43E3-8CE2-9F019536E7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920dc790438762b9b704f4cfa4d3e197cb917db9","datavalue":{"value":{"entity-type":"item","numeric-id":4318616,"id":"Q4318616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$D3204EEA-0900-49D4-B732-4D1B281809F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$FBDE1239-8C23-4D5A-9D44-BB499819125E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c7d0fcce172bfc08bee9ba0fa79c71c72be739","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$F86031B5-D147-44C8-BC4D-8D8159AD0B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594850dc0405a1933033f8a4b3024588f6ff29a5","datavalue":{"value":{"entity-type":"item","numeric-id":5277748,"id":"Q5277748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$095C4535-8149-4CC3-BC0D-F77C69BC889C","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":"Q5504658$6B421F3F-B7E5-4BEB-862D-D0319433184F","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":"Q5504658$9F007B3C-2645-425B-8A50-71F4C58CDF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e889ad5fe23c2a7aa626ba80a540af1fa73e831d","datavalue":{"value":{"entity-type":"item","numeric-id":5451971,"id":"Q5451971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$41FFF801-33F3-496A-9933-FFF0624EF071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506caca47d1f2a2389e155eec13a640dbadba1de","datavalue":{"value":{"entity-type":"item","numeric-id":4673539,"id":"Q4673539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$884C960F-6631-46A8-8EEF-5C660D957BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504658$A2694C48-28BF-42B0-A09E-8DFDB68279C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c30f8e1c0b9481275bce4e179f1b194df0bf20","datavalue":{"value":{"entity-type":"item","numeric-id":3464628,"id":"Q3464628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dfe7af9a55bd99c0a7165148a2c6f2d76d4f5a","datavalue":{"value":{"amount":"+0.8903818130493164","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":"Q5504658$19BC13FC-E962-4A5C-AB59-36DA4E81D208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a209da1e9c8dc3ce0adab00081add87b32bb7e","datavalue":{"value":{"entity-type":"item","numeric-id":3087811,"id":"Q3087811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499da5e5d93ae1e4dbab76692f452792aeceff1f","datavalue":{"value":{"amount":"+0.7638444900512695","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":"Q5504658$2A05B8DE-0D9C-4A6E-802F-701211A475ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3991d346ddd214fc3110421947ee830abb8997","datavalue":{"value":{"entity-type":"item","numeric-id":3183130,"id":"Q3183130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f19121b792f3034d2765ab7edec60fc9088da6c","datavalue":{"value":{"amount":"+0.7290564179420471","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":"Q5504658$5A56552C-3851-4C1C-8056-6E709E1F5215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d77b3e47bcd98d78226002291d1f9c31399c7224","datavalue":{"value":{"entity-type":"item","numeric-id":5504645,"id":"Q5504645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ddd6d82fd5ee5fb31210fc97bcb2d0d00f9511","datavalue":{"value":{"amount":"+0.7264713048934937","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":"Q5504658$1AB86F04-A2D0-45C5-977C-D3E068BB044A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae085a93995dbcabf0e0fa464c419116062a0eb","datavalue":{"value":{"entity-type":"item","numeric-id":1295428,"id":"Q1295428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fb898c571c5acbcbafbb290c0be47921dced59","datavalue":{"value":{"amount":"+0.7263838648796082","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":"Q5504658$BF19D9CD-93F8-4C83-9A61-D00D3DA346CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504658"}}}}}