{"entities":{"Q1360682":{"pageid":1371421,"ns":120,"title":"Item:Q1360682","lastrevid":71430027,"modified":"2026-04-13T22:13:05Z","type":"item","id":"Q1360682","labels":{"en":{"language":"en","value":"Deriving constraints among argument sizes in logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1036987"}},"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":"Q1360682$4D5E566E-5C89-4411-9123-34C0E1F9F33C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dba2165e1ca377b7e0a2ab547391d6361304d784","datavalue":{"value":{"text":"Deriving constraints among argument sizes in logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1360682$23008B1E-96E9-4323-A2CC-8AB845222344","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b502e94b2d3d649b80321533bd0fa63040f5cb69","datavalue":{"value":"0875.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360682$34DDDAA4-D36D-4999-8883-509282EFEC1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3386382375ade69d847982a89887a7bb691a0ce","datavalue":{"value":"10.1007/BF01530930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360682$3BCF1AA2-1A26-4DB3-800E-ECA4C39832F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360682$7CA01096-EA76-46A4-AE91-E7F639A0FEA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2c78c4f713167309580f93f1718969f988f00ec","datavalue":{"value":{"time":"+1997-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1360682$9E847BF6-1170-43DE-BE6C-B9FB57F4BB24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360682$89C95955-EA75-4DC9-A772-749163016160","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cd2f5ec945a2f8702fc5408dd677c2e0a839415","datavalue":{"value":"1036987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360682$69A85DBE-309B-4DE3-922E-462EB85C6701","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e694d85f341a1a44fd5d8c086d7f96a5e4677512","datavalue":{"value":"polycone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360682$CD3E05B8-BB68-43AD-A75D-131B9EBB1987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f13d01aedb045c6f9c2e4be44045c4385cccf73","datavalue":{"value":"generalized Tucker representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360682$679A46C1-0524-4515-9037-2DA29496996D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360682$F328FFFA-6AB9-4250-9D4D-7A438B7C2E98","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":"Q1360682$420F3C50-A58A-48F9-8DA7-6F14B0CC0DA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e67c3af5f2a7ddbde7eb8d528052cb65782a2a1","datavalue":{"value":{"entity-type":"item","numeric-id":919818,"id":"Q919818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360682$3B113848-4654-43FE-BCA5-BEE19AE5096E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87eb6dae98a1a25ba4ee833653343a8b33ad932e","datavalue":{"value":{"entity-type":"item","numeric-id":585081,"id":"Q585081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360682$B0F2000C-9AE7-4DF0-B208-EE93190A0AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360682$96ED91FF-7653-4AAA-AF50-3C394DCE1583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360682$31937A19-BF85-4442-89CF-01BE57B0719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e12dbb838505bd90719761e58b25d7a62e8fc","datavalue":{"value":{"entity-type":"item","numeric-id":1158127,"id":"Q1158127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360682$4EA47602-CB54-442D-9FCC-2266CEB3D2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e2b1149ce2b2b32a3e269212d4e8966138cbba","datavalue":{"value":{"entity-type":"item","numeric-id":3691103,"id":"Q3691103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360682$DFB24FB0-8011-485B-B470-3AA5468F08F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc53b0eee394db9b3b49fbcb3d5a82b596aa7283","datavalue":{"value":{"entity-type":"item","numeric-id":3804237,"id":"Q3804237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360682$B817CB22-0BF8-4AE2-8348-C4E7193FA85B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fb3a5f5f1c81ddc03af86dec1167153ea10ff60","datavalue":{"value":"https://doi.org/10.1007/bf01530930","type":"string"},"datatype":"url"},"type":"statement","id":"Q1360682$32D5F539-B8CC-41E4-9701-9070ED8E6C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84eba69e087ed61d1462c05898cdc6f2ebb82314","datavalue":{"value":"W1490224653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360682$7E3D8FC9-EEF0-450B-93A0-3D1D1BF08297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deriving constraints among argument sizes in logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deriving_constraints_among_argument_sizes_in_logic_programs"}}}}}