{"entities":{"Q1370977":{"pageid":1381717,"ns":120,"title":"Item:Q1370977","lastrevid":68570328,"modified":"2026-04-13T00:38:11Z","type":"item","id":"Q1370977","labels":{"en":{"language":"en","value":"Constructive negation of arithmetic constraints using dataflow graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1080191"}},"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":"Q1370977$40FBB3CB-D631-4E37-8441-0D5D59813E6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d32f3253e1426afe749fd815294e74cd6254313","datavalue":{"value":{"text":"Constructive negation of arithmetic constraints using dataflow graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1370977$5D97957C-B0A3-4701-958C-0CDB3F9D6AE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4d7eca36b530fe95de186241ecc1786e5ff002f","datavalue":{"value":"0889.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370977$FBF2F9CB-0D6C-4981-8B3C-00F1276C3E39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"449af23455202cdf6e683ae27421e3f17070bc01","datavalue":{"value":"10.1023/A:1009753625663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370977$EB0BFC39-C147-4608-A0B0-75C6530783F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb5d996bc1399329ca1df330b5da9c71923704f1","datavalue":{"value":{"entity-type":"item","numeric-id":1370976,"id":"Q1370976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370977$624EB127-126D-48F1-B790-52D96F29A7F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370977$32989484-4011-4A59-ADB2-E1E356BB1C07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fa0fec9b6972e0aceb387683cf418851ba7bbbf","datavalue":{"value":{"time":"+1998-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1370977$1E5BE1F7-EF5F-4C90-87B0-667572B3491F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370977$1DC1292D-EA34-4566-B35B-487F80F175C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370977$EFCBFB23-1E48-4E21-82EF-70F46E482C0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb636d7f6eaa6ec9602ed7387fb81be0095054cb","datavalue":{"value":"1080191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370977$BE7BCE55-8C16-4DF0-8D58-FE330BD614AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370977$4A7B95F0-5DE6-47EE-935C-2547A8E6C770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89e4192fe1ab8b1a3b4a51ea29381d82d608f84","datavalue":{"value":"dataflow graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370977$21DE86C1-2B7F-4116-BA39-D1C2AF7338EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370977$7CC99629-D7FE-47F1-ABAE-1FA76AC82BB0","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":"Q1370977$49DFC288-41E9-4F6B-A75E-DFCBA86E75EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57ba1a69d840c99d199ef99a6f901de4ab173f2b","datavalue":{"value":"https://doi.org/10.1023/a:1009753625663","type":"string"},"datatype":"url"},"type":"statement","id":"Q1370977$2332246F-4DB6-4D80-A1A0-5448C344BB2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"185d5bee44c5e63371a6f47997c929dda38760a7","datavalue":{"value":"W1608696820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370977$F0777596-3736-457D-BF1F-A4E2F439BA9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43484d755525f5f4f487ce7eaa88960dd1ae1cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1891129,"id":"Q1891129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5cd8ebe7e9a25e1ca0d5267705ca593b5aac44","datavalue":{"value":{"amount":"+0.712730348110199","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":"Q1370977$70F2F51B-A75D-4F31-944A-46B9850F50D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596ed8e117d2b79aaa7e0b6564813cf712275001","datavalue":{"value":{"entity-type":"item","numeric-id":2460254,"id":"Q2460254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9271f59b47cce767cef4951d9ccaa818e7e9a938","datavalue":{"value":{"amount":"+0.6975502967834473","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":"Q1370977$CACBF91F-582B-42BE-A1B9-52B3C8F7D55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c92b2d4c498be0de9d5e24f15039b4396aa6d7f","datavalue":{"value":{"entity-type":"item","numeric-id":5901711,"id":"Q5901711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d843130ce703569819a282830012680f1b0407f1","datavalue":{"value":{"amount":"+0.6698715090751648","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":"Q1370977$194AD3E4-6ED2-43D3-ACF2-579DF14F477E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86ef9b3af599662ffe5b628d084548822f0a3cd","datavalue":{"value":{"entity-type":"item","numeric-id":1350538,"id":"Q1350538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80370a098ad9030288b929aae92ea84f94798f92","datavalue":{"value":{"amount":"+0.6698428392410278","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":"Q1370977$8EE31B89-2918-4636-AB5D-3508AECAE699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c9d5fae27610edbd3338b8db69c8af38c52b33","datavalue":{"value":{"entity-type":"item","numeric-id":5945160,"id":"Q5945160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d2926e4e475778673a637efd9b899048ab2b67","datavalue":{"value":{"amount":"+0.6694709062576294","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":"Q1370977$1FDDE719-DF27-4741-8A97-9AE48F607C19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive negation of arithmetic constraints using dataflow graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_negation_of_arithmetic_constraints_using_dataflow_graphs"}}}}}