{"entities":{"Q5488612":{"pageid":7518172,"ns":120,"title":"Item:Q5488612","lastrevid":49922149,"modified":"2026-01-12T01:45:44Z","type":"item","id":"Q5488612","labels":{"en":{"language":"en","value":"Linearity Constraints as Bounded Intervals in Linear Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5056077"}},"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":"Q5488612$BDF7C6BD-05D4-4F7A-9E45-85163BD87009","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fd20e40108e5df5961d7d478452971654006f3c","datavalue":{"value":{"text":"Linearity Constraints as Bounded Intervals in Linear Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5488612$36EC9946-15B7-4423-8206-1444E65A073B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fc894cfc1d40b2834555a285a3a70e1ac05d0e9","datavalue":{"value":"1120.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488612$4A1D7568-B7BB-4866-A002-FD470C611359","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96174252baec8d9c7b0d46707fc890ce57b3eb3e","datavalue":{"value":{"entity-type":"item","numeric-id":2763629,"id":"Q2763629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488612$DCB15867-8B29-496C-9368-A6473514B916","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0661523a3e59cc88f483e6fe108440be8c2fe38b","datavalue":{"value":{"time":"+2006-09-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":"Q5488612$DBFAB37C-EC3F-4BF7-A5CB-864D0FFF6A62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488612$441AFDF1-5A91-4FBA-AA77-7A7FE409F60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488612$48FD6500-2973-43CE-921D-5D425C7EE75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488612$D6B6D7F6-6757-415B-8648-EC4E11BF6A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f521d0b8e24edfe572acb6ac5b39aeba6f61a76","datavalue":{"value":"5056077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488612$51AADC57-351F-42E0-AE9D-34586FE1C197","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488612$6DD68EA4-D71A-43E2-AC9D-4E5156660940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00c9ad5729afc971103229ecd618e0866002a1c4","datavalue":{"value":"resource management","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488612$EA8F35F2-82D5-4A71-9BFF-34643D0CB89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16861b0d6432fa6352b3d7853633f9e0d69b447e","datavalue":{"value":"linear logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488612$D0619226-C7D3-4DDC-93B4-1969B3FA5833","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488612$89C0E3A0-73D5-4F7A-8C02-46CC750DC09F","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":"Q5488612$742C1515-2DF3-4EA5-B13E-459FA5CDF7B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c394fdf57239cbf9971fdc261a17e2d4c30c4a49","datavalue":{"value":"https://doi.org/10.1093/logcom/exi073","type":"string"},"datatype":"url"},"type":"statement","id":"Q5488612$88B7A90F-F087-4C4E-8210-2E1C3B8810FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c055943cbbf6ccba2a7998f78b031d4d1718313","datavalue":{"value":"W2020131921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488612$5FF0002D-C981-4DF9-ABB0-62092AC1EC49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccdfeb911d0df7899b70fd9234e2d251a5b833a1","datavalue":{"value":"10.1093/LOGCOM/EXI073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488612$BBBA741C-BA9B-4CE7-B13E-2AC94FE042C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488612$9D67EF8A-CD2C-43D6-BE6C-14BAAF504254","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab9ac650d8119b3654085b940be760814a73756","datavalue":{"value":{"entity-type":"item","numeric-id":4411822,"id":"Q4411822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681fb94ac54ab14d8e9c0dc79de034cdabec67fc","datavalue":{"value":{"amount":"+0.8424732089042664","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":"Q5488612$DD1804D7-65B3-43D5-85B5-AD8E5F4B0EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b495946c88107bada65fcb8fd4119224d6ab2743","datavalue":{"value":{"entity-type":"item","numeric-id":5705947,"id":"Q5705947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b0227ae1003534e5d6c87a97ba6db39e1654a0","datavalue":{"value":{"amount":"+0.819943368434906","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":"Q5488612$AA46E2E4-96FE-4369-8663-65F3C131F224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b86fc6aa8501b9149cf48622ae1a0c33a6fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":2844805,"id":"Q2844805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9690bd2f7190f2dd67651f6c8474ef85a6ecec","datavalue":{"value":{"amount":"+0.792563796043396","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":"Q5488612$12DE3157-75B4-41BB-981D-4BC605A868E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02fd7c24061e488d2202d5e0fe25a05861b7f32c","datavalue":{"value":{"entity-type":"item","numeric-id":1575929,"id":"Q1575929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcd2274b936626a3172389fdf15f5779df039d0","datavalue":{"value":{"amount":"+0.7891878485679626","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":"Q5488612$8F9D44A4-9DCC-43FC-87C5-CEC8242E30AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec681975bb3b05c606436011c0387178b7a8da20","datavalue":{"value":{"entity-type":"item","numeric-id":5902142,"id":"Q5902142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcd2274b936626a3172389fdf15f5779df039d0","datavalue":{"value":{"amount":"+0.7891878485679626","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":"Q5488612$F749114B-8C09-48FD-A795-4F4E6EF7EEC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5488612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5488612"}}}}}