{"entities":{"Q4023646":{"pageid":6053410,"ns":120,"title":"Item:Q4023646","lastrevid":55206595,"modified":"2026-02-04T19:35:27Z","type":"item","id":"Q4023646","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108078"}},"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":"Q4023646$27C7BEAD-0941-46FE-937E-3CCEE96BC68E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a63c5c34cecaf8d1956899e1622392b79547e8ad","datavalue":{"value":"0817.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023646$244D2EBB-F218-4BB0-BE42-FAEB7A7AF8D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4023646$ACD17B7C-9F42-4B9C-A038-39C84BC0321E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023646$20D858AC-EB43-4D9F-A522-FF642EE3D63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023646$A1EB94E4-8BC4-40BD-AF0B-3F903159AD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023646$CD2EE41A-0E65-4BF5-879B-43E107AF568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023646$A9AD8F1E-C82A-4D73-8D79-90A580712803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcac2d4bdd1510a0900656d7f00c6e1c0001d7b3","datavalue":{"value":"108078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023646$35690848-E272-4148-A246-EE8249A44072","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33f86521d320566bcc705ca415f1a38a0bee01cb","datavalue":{"value":"Lago di Como (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$334CB210-7598-40B5-9E8E-F8089A2FF5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14895a978721e5d7275f554d7f390fcf425b4695","datavalue":{"value":"GULP '92","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$1223C782-AC7A-4A3B-B750-8FCB00895230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$789B98E9-BFE0-4374-8054-CDD3CA1FB1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$913B913E-A7FC-4B0C-B9E3-B91D2C3D1384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$1980014B-F13F-4BF6-B304-BA1C508CC1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$ED26BE8E-28DF-4828-9131-3DCB2190AB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$20F357BB-8DEB-4E62-9C00-E73D48F04595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$FE64F484-1A52-429D-A8DE-E1F2E2A3EDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$C765449C-9400-4526-BD2D-4AC57121C00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a96d4e8d38d16b1f34c5ef34d4d29c715674d4","datavalue":{"value":"legal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023646$D2C5651E-2192-4B94-AAAA-5BC903CDF4E1","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":"Q4023646$D39A271F-2B3C-4FFF-A520-564E94C2DCC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ededf6029cb99c9503ac93db0f481fc7b981b366","datavalue":{"value":{"entity-type":"item","numeric-id":4505341,"id":"Q4505341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06acb4a7d9b2aa83f09d595f46ad22dbb46c4af9","datavalue":{"value":{"amount":"+0.7860168814659119","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":"Q4023646$5BD65C20-A79B-4ADC-BE70-37143657A7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b5c16f8314b29677b66dc2f6d494d7386db2608","datavalue":{"value":{"entity-type":"item","numeric-id":4395689,"id":"Q4395689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e226e619b62203701a84c76ee6bd3d75cb981cf","datavalue":{"value":{"amount":"+0.7708715796470642","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":"Q4023646$D88FC41D-FA5D-4F49-B03D-B97EE7BA5935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53bb65d7e72d72589d94c5f63a1587ae0ac0fa72","datavalue":{"value":{"entity-type":"item","numeric-id":4002785,"id":"Q4002785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e152671c78b448e4117244212e57c62a9315d93","datavalue":{"value":{"amount":"+0.7678115963935852","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":"Q4023646$7600BFE4-EF3C-4133-91C8-F5C57506B53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e31a0e6b43d35edc9559ab8bad1178b43a0035","datavalue":{"value":{"entity-type":"item","numeric-id":3122630,"id":"Q3122630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3e28a7108a05617790c5ebb4699ca1534a0294","datavalue":{"value":{"amount":"+0.765365719795227","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":"Q4023646$9DDB2FF0-840A-4AD5-96F3-0AC9CB675F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef7c9abfa574d2e2737a98c2950b91f83c13688","datavalue":{"value":{"entity-type":"item","numeric-id":1188837,"id":"Q1188837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3e28a7108a05617790c5ebb4699ca1534a0294","datavalue":{"value":{"amount":"+0.765365719795227","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":"Q4023646$9E2A6F31-C0F2-4E98-B1D7-B9A33186D15E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4023646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4023646"}}}}}