{"entities":{"Q5215908":{"pageid":7245478,"ns":120,"title":"Item:Q5215908","lastrevid":53663588,"modified":"2026-01-25T12:41:39Z","type":"item","id":"Q5215908","labels":{"en":{"language":"en","value":"Symbolic model generation for graph properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7167160"}},"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":"Q5215908$A68D0B20-9ACC-4F5F-9958-069DEDA2D506","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"290149e3b02a2db099c2473628797cf18b984327","datavalue":{"value":{"text":"Symbolic Model Generation for Graph Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215908$8170B480-8911-41BA-B510-F1719ED96413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab046a9602c52761457a9bc010b5e2be8e06eece","datavalue":{"value":"1430.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215908$3B19B4D7-03D6-435E-88ED-592EB27F5FCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8c35e8694d26e2c0c6e450296dffeb32b2413e4","datavalue":{"value":"10.1007/978-3-662-54494-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215908$B062F1E7-A314-49F7-9AFD-998CAA57462F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6bf8ee6ddc27826d6acbe2c0246439943dd26d","datavalue":{"value":{"entity-type":"item","numeric-id":262424,"id":"Q262424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215908$259A6D94-D9CA-4570-8B97-73525777D5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e0d716fe761e50ebe2a87a6a363c057ffbb434","datavalue":{"value":{"entity-type":"item","numeric-id":418013,"id":"Q418013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215908$DE68D676-20EF-49CB-A92C-603E6BBDFFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215908$7EED1ECA-375F-4F19-8069-84B3279B2A8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215908$F0A52D37-917E-4A28-A6A6-BA578464E573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abfd8c068e34548cdf05c7584997a586e2790d23","datavalue":{"value":{"time":"+2020-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5215908$F7F4F138-86F6-4C73-8C87-B4DC6BD41CF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e9f64e8208bda0eca529854f38404cb3849693c","datavalue":{"value":"http://hdl.handle.net/2117/114397","type":"string"},"datatype":"url"},"type":"statement","id":"Q5215908$7CBD55C2-8615-48A9-BB3D-89EEDE0FA7E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215908$4FDD5239-07C4-479F-9E48-A13EAB6B099B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215908$2A2850FF-4315-4FEC-96E9-EFA40733513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215908$594E302D-29C0-45D4-A999-6F144DF7B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215908$9BA11409-3A44-44C7-91D2-4F473073563D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62ac69c7c57396d4dab294f75bd31d129b8b1ae5","datavalue":{"value":"7167160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215908$71ED13F5-BF78-4A50-B0C9-F610589E550F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4048fb3bfeb12f1e8c632141b78129e67aee7a","datavalue":{"value":"graph properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215908$F66511B7-DCAC-4595-82A2-6BEE0D493613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f1e905d208850bd9d68c5480422313c53c12bc","datavalue":{"value":"nested graph conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215908$3782EED2-8FB9-4F68-A617-516B53E0074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215908$02057DEF-2747-4690-B811-C91EAD3D2236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215908$F2890459-3956-4944-9AFC-416AAA37774E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96028fa19b1d85b7a7982101bba7ca3ddc9cb463","datavalue":{"value":"satisfiability solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215908$9586AB7F-B2B3-4512-AC6F-E912C3267F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215908$124ADD59-4713-42A7-A870-D74592B06FBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d1e8f08f46f1d4fd64ab8378d88c19ea5df884b","datavalue":{"value":{"entity-type":"item","numeric-id":44028,"id":"Q44028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215908$59C43C36-F6FF-46C3-85EC-E0F92909E253","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":"Q5215908$CA4343BB-D495-4504-B599-E88FF8726EC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07f58e937508b979c149d5dadfc47376159eebba","datavalue":{"value":"W2603072184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215908$DDD3C710-DCFC-4B55-9A59-6A1B601D5AF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb4e785e98cb04a0bb45c8e5337b10f00f3a232","datavalue":{"value":{"entity-type":"item","numeric-id":1785854,"id":"Q1785854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353ae7b0fd24d708e849fe217b72d3d85d18230b","datavalue":{"value":{"amount":"+0.7305352687835693","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":"Q5215908$63C38A0B-FC4D-4FF2-89B0-49FBE9B6FEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5b569c9ecbfa8ee90ed5e3eaf611a3f11c1136","datavalue":{"value":{"entity-type":"item","numeric-id":3192220,"id":"Q3192220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55932cf0de867ce4b7ff08099ec59e6a269c5358","datavalue":{"value":{"amount":"+0.7294057607650757","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":"Q5215908$970495A9-CFAF-4B06-B236-A74F691F2A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef040430cb9caeebe95799c1557706549659e50","datavalue":{"value":{"entity-type":"item","numeric-id":1996850,"id":"Q1996850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c646d1c3c1234b08e17bcd876bc2f4c01c156b0","datavalue":{"value":{"amount":"+0.7229993939399719","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":"Q5215908$F4E06668-4EF3-4ED0-B3E8-D6952AF21087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29bd92707fc2f0d416fa673421fe6b5107a3884","datavalue":{"value":{"entity-type":"item","numeric-id":1708199,"id":"Q1708199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2babbe8cba19e5873589d49c861b158ee3a1c2c2","datavalue":{"value":{"amount":"+0.7201244235038757","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":"Q5215908$A2A8FF00-6E72-4F7A-BD8C-06D06BE6E3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e45cdc5a223ff4e6016348e71c19e8c3865b998","datavalue":{"value":{"entity-type":"item","numeric-id":2918989,"id":"Q2918989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383087905b0ae8c0c8b39b826a867f4b28779941","datavalue":{"value":{"amount":"+0.6977208852767944","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":"Q5215908$C9475F6F-E1D5-4D7B-81AD-B81B62337134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5215908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5215908"}}}}}