{"entities":{"Q4593056":{"pageid":6622641,"ns":120,"title":"Item:Q4593056","lastrevid":82248992,"modified":"2026-05-06T20:27:17Z","type":"item","id":"Q4593056","labels":{"en":{"language":"en","value":"First-order modular logic programs and their conservative extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804609"}},"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":"Q4593056$36D8DD11-C8E9-4768-B05A-E02410558195","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6778640a090bc4535ba9cef7bad46c947caa94a8","datavalue":{"value":{"text":"First-order modular logic programs and their conservative extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593056$0E290766-B861-492D-BD6C-0CC6AD94D0E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ef8d3238212cd469224c6d521af714280bf9e3c","datavalue":{"value":"1379.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593056$63B42618-9871-4C33-B331-7A883A90B4CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4024f07f465780faecd2d730270cfde3353f6b9f","datavalue":{"value":"10.1017/S1471068416000430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593056$415316A7-92FF-4E35-82D3-FF021E29F105","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31527fd5fa2d485080ce4997c33daed29d656ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2851268,"id":"Q2851268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$87E246DE-E42A-4507-91EF-960CE21C7DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$B7B1132F-954A-4308-A391-C7931DFED362","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$55F4BC6A-D81E-4261-B57A-A9C64FB520B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593056$46B4F62C-7BD5-4D92-9A3F-5E2EFA6751FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c311f64862bc263cc95e19cbd04efdb40c1433c","datavalue":{"value":"https://arxiv.org/abs/1608.02681","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593056$362BA0FC-EE9B-4ED6-A0D0-0A368D296AE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593056$7A018F15-FE8C-4A5A-940E-5B3C818B477A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c968cb6bb4588a3ee7dbe641b0ebd25900a0ae70","datavalue":{"value":"6804609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593056$BADB401C-EB08-4F25-8574-CC36673E16F6","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":"Q4593056$A6B40068-F965-48BA-A799-04BAFE21124F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ae23982b588db85d74e54e90611040dc0fcf5b","datavalue":{"value":{"entity-type":"item","numeric-id":3449203,"id":"Q3449203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$2733462C-7E2B-4AE9-908E-629698C61640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3aa900194de12afc803b37e85dcb46e23f05f3c","datavalue":{"value":{"entity-type":"item","numeric-id":5398066,"id":"Q5398066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$BAADBD82-9581-461D-AD4C-FDD5F0D908AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$605EF54C-E5AB-45C3-A0DB-44A8F57FA8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$51E53B7E-8A61-421D-8509-74B7219F5F30","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":"Q4593056$1C88DABB-E67C-4A45-A3EA-57A8463D5227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681d9538b155cd5619c14c671ea100857febd03f","datavalue":{"value":{"entity-type":"item","numeric-id":1603732,"id":"Q1603732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$22B8454B-DBA6-4EE9-93AE-BC297CA4DCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$E3A691A3-9ECC-434B-B628-08B0D24EB531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e23772db96e9bf015553350a5ee3dfa756e876","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$AAE326FB-31BF-47A1-8042-2B3B138F7996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8b0dcfa897a7e64eee00075ddec30ee583352f","datavalue":{"value":{"entity-type":"item","numeric-id":3546042,"id":"Q3546042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$237D2ADF-E5CC-44D1-8C17-B5CC5EE4E92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ccd4fc91874123b587563468a01b1a5f3290fa","datavalue":{"value":{"entity-type":"item","numeric-id":5417593,"id":"Q5417593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593056$9588D48F-2A5D-4835-B891-6621D90259B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"912db567f11165b3634d9bb0a55cf0c322840ea2","datavalue":{"value":"W2488315955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593056$D86D5CD7-78A6-4DE0-8D7F-C44C122E7A51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053e153b8d7b20bdb42d9433820953e905213ac6","datavalue":{"value":{"entity-type":"item","numeric-id":2909170,"id":"Q2909170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f28c3a95f0af61637971b3ca34eb63939657ea","datavalue":{"value":{"amount":"+0.7531279921531677","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":"Q4593056$07EAB4DC-83AC-46E2-B67A-6C66D1A27B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a33463eb721bd0235829cc7d020753a2cb3f15","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8063656b10df9c1c0412d912d805364a9a0415b","datavalue":{"value":{"amount":"+0.736606776714325","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":"Q4593056$4C00F833-B278-4C55-A66D-E3479CCC25EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddaca5a3cff7c8241a58c411d2cfb2fe8104bef","datavalue":{"value":{"entity-type":"item","numeric-id":1274967,"id":"Q1274967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33914fbc90c9fa960a0c2b696f862a07894e959d","datavalue":{"value":{"amount":"+0.7311035990715027","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":"Q4593056$128FE692-3E89-47FF-B6F4-C703E8276E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85671dbf7a036f4d482b847ea5cf0cd1b6164d31","datavalue":{"value":{"entity-type":"item","numeric-id":4571139,"id":"Q4571139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae6437c7889c3dcd71fcc91542914e10cb12a42","datavalue":{"value":{"amount":"+0.7290228009223938","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":"Q4593056$BA96F7D9-7226-4EE6-8725-F61191752065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793fd318c36230a3aa84ece7da7fc1e72aedbd41","datavalue":{"value":{"entity-type":"item","numeric-id":5449602,"id":"Q5449602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f749c6f6e4c319ec273beebcba37c9be0a2299","datavalue":{"value":{"amount":"+0.7208403944969177","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":"Q4593056$FF7FA3E2-DD7B-4494-8859-ADE88DEB6714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order modular logic programs and their conservative extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_modular_logic_programs_and_their_conservative_extensions"}}}}}