{"entities":{"Q674717":{"pageid":676566,"ns":120,"title":"Item:Q674717","lastrevid":63487734,"modified":"2026-04-11T13:30:02Z","type":"item","id":"Q674717","labels":{"en":{"language":"en","value":"Program generic set: Semantics of medium logic program described by forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 987547"}},"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":"Q674717$7E4B6E46-0FD4-44B2-A2BC-ED2ED89A0E74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abe21bd57241835c4e23be144b8e45aafdd0df2c","datavalue":{"value":{"text":"Program generic set: Semantics of medium logic program described by forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674717$1236A2F2-C1A0-4472-ACF7-5F2E0F6A3761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac08d32284d2494d1ee2059cc1823695287cce58","datavalue":{"value":"0873.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674717$08BDB800-236E-4AC1-B058-0226EDD07D0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4932014dfef1f5b63b3c54cf943bfa1796239d0d","datavalue":{"value":{"entity-type":"item","numeric-id":237991,"id":"Q237991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674717$3AB013D5-8744-49C1-926D-99DCEA0F4F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"207ad3aea26dc178e370a682c2ee770bfb726860","datavalue":{"value":{"entity-type":"item","numeric-id":674716,"id":"Q674716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674717$4FF68BAE-1F9C-4F89-B344-AB260F3F6C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c0ae86f6125b4ecdb2b018fa9509d71be7ca9e9","datavalue":{"value":{"entity-type":"item","numeric-id":237993,"id":"Q237993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674717$D73FF0A6-BA01-43C5-90B9-8436645E093F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c21b4cba3723fb37014155e6ce2dbe8cee77c53","datavalue":{"value":{"entity-type":"item","numeric-id":163214,"id":"Q163214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674717$46607AF6-1EB1-4CE7-818B-454AD53F0418","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb21a1c0989eb39ea024bc553a264711f2dc5f4","datavalue":{"value":{"time":"+1997-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674717$F77A66A0-250E-4BED-BA0E-40DB2452F422","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674717$5D3C7720-059B-403A-BB77-B3D69B1097E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674717$92BACE19-2239-42C9-91CF-C2CC0D49E144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674717$2BC7BC22-E8C1-408A-AF10-EB3395D90711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674717$123627B3-86E9-43AF-85FB-8DD0F539C90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674717$6A4E1F85-12F8-4693-BA90-F9C28A9C69A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674717$CDB4D03B-E08F-453E-BF1F-1C494F4536DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ee424f4701743b9897f92a5da9f1f08bf2366d6","datavalue":{"value":"987547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674717$26602B59-E0A2-419A-9784-BB082261F411","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q674717$55EA963A-1B56-4B00-90A9-151AC8536D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q674717$1860BC3C-08B6-490E-AEC5-57E95A497707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbba8d3e6d96da1682aba5774e956fe116118b66","datavalue":{"value":"medium logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q674717$2CE30DD3-2B5D-4101-A86A-1E990CF05F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47b7fdc03cdd045c4f9dee14a8322d1876314bf","datavalue":{"value":"closed-world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q674717$0910D100-8C2A-4267-961A-77858B5AD010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d3b63f8e956792725e1d92e3dfe0c6512897b50","datavalue":{"value":"program generic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q674717$7FA37FB0-1E98-4101-A679-6EBD055B9932","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":"Q674717$37283CA4-B714-46D7-9210-43734758EF72","rank":"normal"}],"P1643":[{"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":"9aa41804975e3a4d14c4fed0493f54034030a4dd","datavalue":{"value":{"amount":"+0.745484471321106","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":"Q674717$A04E3CBF-2E1C-4CF9-B5B5-DB05165FA532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0066897bb9cbecc3c20ff98c39ba01e07cf1ea","datavalue":{"value":{"amount":"+0.741625964641571","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":"Q674717$C51A08EC-76CB-4421-825D-0ECE9839CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343f49691c78e9b66f99c376321178efb8719cd6","datavalue":{"value":{"entity-type":"item","numeric-id":3365575,"id":"Q3365575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a9ba88d9b17537f51f1f39c3812fee82d8cf48","datavalue":{"value":{"amount":"+0.7362751960754395","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":"Q674717$4AC118EF-2227-49D7-AF38-7D5D7B3F3188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4f8a1b7014bafb92bc1fc5b789a74447632890","datavalue":{"value":{"entity-type":"item","numeric-id":1190477,"id":"Q1190477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e24fae68cbbaf5c6d6744dfa58f8d0bba1921f","datavalue":{"value":{"amount":"+0.7270107269287109","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":"Q674717$F65929D6-E14E-476C-832D-3902A826EB8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program generic set: Semantics of medium logic program described by forcing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_generic_set:_Semantics_of_medium_logic_program_described_by_forcing"}}}}}