{"entities":{"Q2643883":{"pageid":2654626,"ns":120,"title":"Item:Q2643883","lastrevid":50152286,"modified":"2026-01-13T07:00:00Z","type":"item","id":"Q2643883","labels":{"en":{"language":"en","value":"Design and formal proof of a new optimal image segmentation program with hypermaps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5183188"}},"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":"Q2643883$22346314-1025-40AE-AB54-A1CD1D6D90A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78795058989559237ff82b9aab13fc2f51af1057","datavalue":{"value":{"text":"Design and formal proof of a new optimal image segmentation program with hypermaps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643883$87CC4FFB-FE20-4635-B30A-995EF63DAD67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d85f39b98fcd281b23733078cc693a8ad0b5fb38","datavalue":{"value":"1118.68725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643883$59615E91-06A0-443B-A2C7-47E7BA701EFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9642534f304d9a98032df7352635c1aa31c0f2","datavalue":{"value":{"entity-type":"item","numeric-id":396465,"id":"Q396465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$64E763C3-EC57-4379-AE37-852E579183FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5d5386826e308aa4be8d24f03bf9eb980d0ec94d","datavalue":{"value":{"entity-type":"item","numeric-id":75775,"id":"Q75775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$5211CB4C-C81C-42E5-BA90-76B68014E53D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b09aca3aa7cf2e4777f30c65432cb22c512993","datavalue":{"value":{"time":"+2007-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643883$D74C31C7-662E-4429-943E-7F6DA9FB9A0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab7a0d2add14e0dbd91ec8ae1d32a5bb94f2fb34","datavalue":{"value":"68U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643883$102BC0CD-833B-47F4-8248-59DD91E7F6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643883$95338CAE-8ECA-4746-BEF0-36FA0A671B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643883$BDC01D33-CE27-4D6C-986E-96EA7275405D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6fe26eb4dd307869e95223436a6565e4e194ffe","datavalue":{"value":"5183188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643883$5CCF3AEC-E870-4320-9920-645A5A2B1446","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4be204f28e64137c47623b93cfad0d6b0941ec","datavalue":{"value":"image segmentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643883$AAAFBDD6-DFAD-4CC9-B7B3-AF6A1ACFF2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc5992e44b20c9bb28dceede04bd8419143b6d5","datavalue":{"value":"hypermaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643883$8052789A-AA65-4AED-AD61-3CE5F1BF649D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643883$89DEC770-F2A9-47BB-A805-5F2D3D25B239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6e62c84697a17d98f1da6fedd7e40013028a1b","datavalue":{"value":"Coq system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643883$B73BB077-BB6F-41EC-B9EE-DA5B0FC71D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568dd16bf737dc178f45a2f607c0c2fd9eb97ea0","datavalue":{"value":"computer-aided correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643883$D85180ED-5E45-4714-8CBA-DF02F10CEF3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$0C7819D1-CFCF-4B1A-9CF4-7F25EDBB004E","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":"Q2643883$4818EFF7-4BA6-4A19-9045-AA67B54B3A7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef6707cdfd441c4267c5d317ff2fe7ff0165c1e2","datavalue":{"value":"https://doi.org/10.1016/j.patcog.2007.02.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643883$5675E1B8-954D-4AE0-80EC-C7DF4417C402","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e04c0c68989182bedd2866c6f0b27de2395932b2","datavalue":{"value":"W2082102386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643883$F04A3239-9946-4852-AEE6-CFE0AEC8D961","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d416027a5618f7df06832942f1e3c39a3fe39c53","datavalue":{"value":{"entity-type":"item","numeric-id":2491349,"id":"Q2491349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$37594F3F-8310-4314-A097-197B0F3B48DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304128e7d34091ad94c44772a91e7269392907d3","datavalue":{"value":{"entity-type":"item","numeric-id":3679095,"id":"Q3679095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$F0411C9F-9D22-4F16-8384-4B4428A064D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7692118b11252b3f0cec4dada3c7d7555230b7","datavalue":{"value":{"entity-type":"item","numeric-id":1174819,"id":"Q1174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$FECA0D14-727B-4EFF-9FBF-77545C71D589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf540dac72bcd5ec964f271bd4451af06502cd55","datavalue":{"value":{"entity-type":"item","numeric-id":4071773,"id":"Q4071773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$565A3551-B839-4E2A-9397-FE1019CFA516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9837c82162230b750df4bd139ccd9b568caa4a","datavalue":{"value":{"entity-type":"item","numeric-id":1577493,"id":"Q1577493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$4159378C-B019-4E7B-9644-426BE005FEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$B54FC7CB-BB99-4385-BC75-6E0250756873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$E0908390-189B-49A5-81CA-37B24FAAE1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$F5FE28FF-8D1E-4628-AC35-A119090F3AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1e35e1d6126eec41b1ea07713b5304f3ba86b9","datavalue":{"value":{"entity-type":"item","numeric-id":4790670,"id":"Q4790670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$CE06919F-B450-4F53-92A0-505038E28113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79bfc697d8da1639edfa9171984fbef54e299a56","datavalue":{"value":{"entity-type":"item","numeric-id":5493316,"id":"Q5493316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$E0656CD5-5088-478C-AB2C-6EF6EEC5F713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d9d9459772b7bbf2481b6ef81183bf0058367d","datavalue":{"value":{"entity-type":"item","numeric-id":4484332,"id":"Q4484332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$7A88E2D3-CBE1-4580-BA14-9F88D4C086B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92cfede9475f6422363576d31635aa91c8e673b2","datavalue":{"value":{"entity-type":"item","numeric-id":1575663,"id":"Q1575663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$58945FBF-A298-4291-A2C6-4E79A9BCF263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645269bb49ece47d4d27274155824652c91f2724","datavalue":{"value":{"entity-type":"item","numeric-id":1882906,"id":"Q1882906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$4F73BFBD-4246-4302-BC91-752E0F6321C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442cc5aded7f3c90bbb4dcb92ee14d489b3883a4","datavalue":{"value":{"entity-type":"item","numeric-id":2369579,"id":"Q2369579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$065156FC-4C05-4A2E-9878-AFFE41992A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbc2ca48384654efab833e540d341bb2f29a83c","datavalue":{"value":{"entity-type":"item","numeric-id":2369581,"id":"Q2369581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$79856117-85E1-4651-ADAB-C11130280EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff600c639285bb06593ca61942b0f485ac06878","datavalue":{"value":{"entity-type":"item","numeric-id":1202183,"id":"Q1202183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$1D88D358-33B8-4786-BB93-68F90EFBE541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f848d5d57866512dc3ad41936366a8c209fa2cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5316543,"id":"Q5316543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643883$49DC0F15-AFEC-4459-AEC4-53D55DB4ACA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11e602a6a0630fccd81a2d13331bddde3c7144db","datavalue":{"value":"10.1016/J.PATCOG.2007.02.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643883$B1B80795-A562-41C8-A122-FBB530C0444D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d10c2b6834a1fbd5eaf18fc34e466ca8a665ea","datavalue":{"value":{"entity-type":"item","numeric-id":448980,"id":"Q448980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f517e2c7352451fc1577296275e35925a09aea4b","datavalue":{"value":{"amount":"+0.7512603998184204","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":"Q2643883$81281378-145A-4239-8917-B0D251E8510B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a2ab1b64aefaad63434d35e63853f0e8c9ef14","datavalue":{"value":{"entity-type":"item","numeric-id":2849508,"id":"Q2849508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce2fc861a4113a55f2f2d91e6e0cb5c0fb1e80a","datavalue":{"value":{"amount":"+0.6912446618080139","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":"Q2643883$9524AF62-8760-47B0-B80A-6F0E8A3C7FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb72d5712a200b097ead03d39b791a55db8b54c5","datavalue":{"value":{"entity-type":"item","numeric-id":5316447,"id":"Q5316447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada3faade9533391ad9e49712ba985aad9068b34","datavalue":{"value":{"amount":"+0.6769417524337769","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":"Q2643883$3C5D5FFB-4762-41DD-95E0-8D6CE2E9F91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f93ec753fcb9c7e7b0b3147fcbffdda6b56f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1577493,"id":"Q1577493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90374fd8d8573758208165a2b53ab7f2dc10b308","datavalue":{"value":{"amount":"+0.6742100119590759","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":"Q2643883$A6881860-DE60-44EB-83AE-8143AA92197A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a402ff9c41bb97cba7045a1874c6476910e3234","datavalue":{"value":{"entity-type":"item","numeric-id":3304755,"id":"Q3304755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d0c54d1c1d0c31e22db89145ff0a28573228c1","datavalue":{"value":{"amount":"+0.6591360569000244","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":"Q2643883$39657E2C-0C95-494F-9B42-3D71CEB2B4F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643883"}}}}}