{"entities":{"Q5758136":{"pageid":7787687,"ns":120,"title":"Item:Q5758136","lastrevid":50155025,"modified":"2026-01-13T07:08:25Z","type":"item","id":"Q5758136","labels":{"en":{"language":"en","value":"Kodkod: A Relational Model Finder"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185809"}},"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":"Q5758136$3A371805-C68B-47F1-A94A-2B0B63DEBCE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58d8ed6c8623015fac3b8d86eacfc6a111c34e60","datavalue":{"value":{"text":"Kodkod: A Relational Model Finder","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758136$C2E794C1-DD29-46AA-B597-DF03DB75B1EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37443b03540e274789451b7fd3700d877cfa50cf","datavalue":{"value":"1186.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758136$B1B65647-7F9C-44A4-84A7-A719D34923D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25f89cca1e6c24a7e9def19f81aa8d70fe66fdc7","datavalue":{"value":"10.1007/978-3-540-71209-1_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758136$37F66C38-EAC4-4626-B258-604646F156DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"744590679060ff39e83fcc03ad2d4599dfb70667","datavalue":{"value":{"entity-type":"item","numeric-id":784109,"id":"Q784109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758136$99A676F9-A43F-4B82-81F9-45929C2BE1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33372afbe8b2921bb5a9e28c9a95b1a6292a4873","datavalue":{"value":{"entity-type":"item","numeric-id":192238,"id":"Q192238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758136$BCCB68A5-32E5-4D45-991A-EEFC5809E806","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758136$2377C06B-6941-4570-9605-C4835F61BD04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758136$26A99202-2AD1-4908-8E02-53D6BC5430C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758136$771BF03A-4287-4EF0-8E6B-BA291B4AC7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758136$6E966F19-9603-4A1A-9420-F4FFA48F2328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758136$41B38DE6-F349-4E69-A54E-882D2B1AD9AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2eee94ba8bd77f199afefe5e63e9d22b69d4a79","datavalue":{"value":"5185809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758136$1196D5E3-1BB6-4F82-B406-2D3799C66DDD","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":"Q5758136$7F7F8D80-9177-4DF8-AAB9-71433E8A20C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"555525c754947a6b8a3cec12df53a51c5e9e89e9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_49","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758136$557227E1-71EC-4947-A01D-C7DA23815B17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"440c4d3f2e4352604f63fad495e5849ed5d6a722","datavalue":{"value":"W1519503479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758136$B801F7E1-0877-48A2-A7BC-5BFF5DB508EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789a99a89c0d87bfcc828625180ca94e5a0c1b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2102939,"id":"Q2102939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3ef054944e061ccfc182efe7ef80090035e9c4","datavalue":{"value":{"amount":"+0.6995722651481628","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":"Q5758136$A7DAF636-1416-471F-84B5-5AD4AC9AE398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dae6967be22b4dd6b79a4f9e307b944027f6d8a","datavalue":{"value":{"entity-type":"item","numeric-id":2848064,"id":"Q2848064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601fe28a2beba8286d0c192827519d2c36ef4bef","datavalue":{"value":{"amount":"+0.6959129571914673","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":"Q5758136$8CF7D411-F7B9-4334-819C-48EDA693DC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a6d991b50ee3cacf0f632a65fb75701662b114","datavalue":{"value":{"entity-type":"item","numeric-id":2405244,"id":"Q2405244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b4ee4e6a96c981822818a6002e7c6874e6c96b","datavalue":{"value":{"amount":"+0.69207364320755","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":"Q5758136$A5E6BB0C-8EA6-435F-A1A7-3AAB7D5A24E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e14787651e93bfe1fa0ed3046e7a940302c5a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2281661,"id":"Q2281661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0bb033809cf8b294814ba379ee0f2d330455bb2","datavalue":{"value":{"amount":"+0.6911423802375793","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":"Q5758136$572A7BF2-7324-42EE-A543-9D58735913D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f45fa5f642568b2e77dd0d7c52295771c9a05b","datavalue":{"value":{"entity-type":"item","numeric-id":2405247,"id":"Q2405247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aceb84e49bcbf80d6b470d40e9a9d7fdf1362e3c","datavalue":{"value":{"amount":"+0.6860102415084839","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":"Q5758136$EA76FD80-33AC-4B3A-87E7-7451973BC08B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758136"}}}}}