{"entities":{"Q1173955":{"pageid":1184704,"ns":120,"title":"Item:Q1173955","lastrevid":69801444,"modified":"2026-04-13T09:28:40Z","type":"item","id":"Q1173955","labels":{"en":{"language":"en","value":"General logical databases and programs: Default logic semantics and stratification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7875"}},"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":"Q1173955$DB12DAD8-252D-4012-BA2E-4C729D3F1DEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97499d45e7657f8ce59fb83464fd3606ed968c22","datavalue":{"value":{"text":"General logical databases and programs: Default logic semantics and stratification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1173955$F70D9F26-412F-4DD8-AD34-CB5AC78D02F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3202bd315a727f343d6a9f928511486daff8120f","datavalue":{"value":"0800.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173955$24C2968F-288F-425D-8D98-1EB45372EF7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6578723ad52dac6f38b81a9333563d33737b7be4","datavalue":{"value":"10.1016/0890-5401(91)90073-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173955$9E18121C-AD21-47D3-BEB5-072518BB238A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bf75edbfd3092887293a68e4a57bd1c280718c0","datavalue":{"value":{"entity-type":"item","numeric-id":579958,"id":"Q579958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$EBC362A5-5E5C-4049-9416-D855C0E44D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4151b3f3cb9b22465a5dec6df7d0d92478c1e7","datavalue":{"value":{"entity-type":"item","numeric-id":673392,"id":"Q673392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$F60E42AA-E1BE-4C9E-8831-B62157821D73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$358D450F-4430-4A4D-B8D1-BE164BBE190B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1173955$362BD6E4-75F8-4876-8284-420A5BBB0F76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173955$2BCDA084-FABA-4A0B-864D-880F2B0849DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173955$F45C7D48-D55C-47A0-B94C-27D550FA2D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173955$E64B165D-0B6D-4F45-92BC-C0AF1CA67F06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6070e1c299ffca65c95e744cbf59bd7100277d02","datavalue":{"value":"7875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173955$312D8006-C245-4889-B652-D5B16E943EB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b7372972d0deb037a9f36995c5713426cb466c","datavalue":{"value":"logical databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173955$AA7BC959-6854-4139-A3D3-CD92B8077385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ccc63db8dcca80d6f633f8cee519c2b26977299","datavalue":{"value":"default logic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173955$9AA5721D-7A57-461A-B931-85C24BAC1EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a99dbc0f31f25104229cf2400a31576bf6a67d0","datavalue":{"value":"declarative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173955$E4174E0F-EF29-43F7-BB06-7E5ED3220C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173955$F225A39B-03F9-4E14-BA12-B97045F89FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173955$E54C80DA-9286-4308-B6B0-61443151CF5F","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":"Q1173955$D67C1A9E-69DB-4B4F-90CD-0A93CA0A4DB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"076c3aaa8786ab1966bf59f40ef2f4fd08bfdd6c","datavalue":{"value":{"entity-type":"item","numeric-id":1123011,"id":"Q1123011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$C12547B4-7F6C-4F67-96B9-B892D4EBF2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987535b4cf569317f73e58b0e19113981066163","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$1C50995D-981A-496B-A13C-72197300221D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1e825f83b50e8e1130715dfc474cbbe8c43bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3706528,"id":"Q3706528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$5C3101C2-C897-49DA-A1B1-E2E1E0AAB610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6cd256ae616a132c96a97efa98c1fcb1558fc8d","datavalue":{"value":{"entity-type":"item","numeric-id":4692331,"id":"Q4692331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$5F07394D-C0D7-422A-A3B9-7496F2E8C996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568db0ab55e3c4f0e13d84e894d59438d8131ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3745320,"id":"Q3745320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$22DBD470-D235-45EC-A48B-4E95A6B4A455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e7a1590207902f6cb021ac8a30f369b885a498","datavalue":{"value":{"entity-type":"item","numeric-id":1117211,"id":"Q1117211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$28AA7A9E-5D81-45D4-B156-F94EC34729CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$742E6687-E390-4A16-B3A5-A0FB95AEDC9E","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":"Q1173955$74208DE3-D830-4AAD-90E8-1AF14CA92B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$AF29F2C4-A0FD-4C62-93C0-D5747AC009BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$2F795B3D-6A1D-4446-B7A1-FE95E4CD5F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$1CECABC9-6F8D-4435-B473-8C05EF45FB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$16EF45A8-9E59-4FB9-B228-45F1E766E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7cb2218ddd61329267c83e431da09cb6ec9409","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$A6ACAFD8-C92D-4787-B01E-F63328D13574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$62A8BB54-1375-4832-A592-6C5556D4DC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db4828c7fab26ad356c64453834c24c3294ede","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173955$979B2C1F-D47C-4FA5-B3EF-6B8D592AC488","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General logical databases and programs: Default logic semantics and stratification","badges":[]}}}}}