{"entities":{"Q4645233":{"pageid":6674814,"ns":120,"title":"Item:Q4645233","lastrevid":53315717,"modified":"2026-01-24T17:25:39Z","type":"item","id":"Q4645233","labels":{"en":{"language":"en","value":"Minimal model generation with positive unit hyper-resolution tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999518"}},"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":"Q4645233$BAB81798-9382-47CA-8156-798CCEE91180","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d18c7ba1e91845478e336de55318eb3092598b4","datavalue":{"value":{"text":"Minimal model generation with positive unit hyper-resolution tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645233$CB943B5A-E9D6-4F96-837C-AA47386F109D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2463c228c58d5c814be9b7a9ca2dc219db51f5f","datavalue":{"value":"1412.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645233$2C890C10-6E95-4358-B765-F1FD29AF458F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"113f6cda0cfb959ebd8de623179d33ec282da627","datavalue":{"value":"10.1007/3-540-61208-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645233$509742CB-8E81-4A37-A034-FA1E459B9280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"108d5b9d05cf97834387b26de87409dc747dc933","datavalue":{"value":{"entity-type":"item","numeric-id":226999,"id":"Q226999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$056896AC-9848-4C06-8BA2-BF4C552BD9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6350db9c05cc780a6f4d304d21aed8da2a7f61","datavalue":{"value":{"entity-type":"item","numeric-id":814428,"id":"Q814428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$05B7222A-05D9-4D40-8155-539144095392","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$B96C5BF0-BE60-446E-9043-A20F35AE381B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645233$C4E7318C-3563-4F2B-8794-F9793158B93F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645233$34F7483E-F276-4583-BFC8-3A673BDE6C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645233$7AAE1384-4D1A-46E2-8A63-1878ABE77D82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03dd7e0cd82253b1d415b6518c376a7a59b8bb2b","datavalue":{"value":"6999518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645233$1B674207-9654-4382-B517-8354125B22E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645233$1FE278F9-6185-4EBA-A52F-2F930947CA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6991dbbeff2ae468fdaa4cd3da313d3fe459e3c1","datavalue":{"value":"ground atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645233$613FBC4A-B62D-4C92-AC11-AE034B96A88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b43bda7888406d7ea925117ae391a9d89bef66","datavalue":{"value":"open branch","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645233$A68E36D0-78B9-49E6-A0C4-B74BFC44B032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c102df5ffeffbc5f304aadb230726d6aa79de37a","datavalue":{"value":"expansion rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645233$C0787CE2-9716-42A6-B6C3-7C216C16667D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc93f18307bc43e12772a8126f9a9510ecda2140","datavalue":{"value":"redundant model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645233$628871D2-8634-40C8-AAF8-B767A6836861","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$600A391B-98F9-4D4E-B3BC-76F2E12C374C","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":"Q4645233$D5AF4107-D15A-41A2-967B-2BEF35BD0EBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14063f75dc6fc2a09540467071d5b0db9aae08f4","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645233$C4535A77-0492-42FD-A7F6-049F6610AD6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8ccf62e88163d8eec4dfcfbf7a41ba2ed48a092","datavalue":{"value":"W1528245710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645233$490D7EB0-1C77-44B5-8693-D324D7C13549","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c71bacfeaec141062185dcdbbf65c219a93b4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1314425,"id":"Q1314425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$941FB3AB-8175-4BDF-A8BE-39826D930512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$4AF560EF-B842-4836-AF43-B46883E097E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d701f4e3ec0808250b7d612a643c00e9f17dad4","datavalue":{"value":{"entity-type":"item","numeric-id":4264729,"id":"Q4264729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$D43F4809-E80E-4B19-827D-5F9A931C2BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$A3BCB11D-E5B8-42A7-88D4-0F5C53B13C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$FACAB7FD-C5E6-4DB6-A7F1-C50C86C96F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc9a704e0a695471223ef1cd33102312776dcd2","datavalue":{"value":{"entity-type":"item","numeric-id":688552,"id":"Q688552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$DB4C0D98-2D4A-41A8-AA6C-DB5BBC817E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e82257b416db4246a715182cdefecc0570e41d","datavalue":{"value":{"entity-type":"item","numeric-id":3279281,"id":"Q3279281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$3741C27A-BA6D-48E6-BE1C-2FCA79EF288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$FDB821D0-755B-4D0A-967A-133ED93CE3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33671e7dc56698c6d51327d237f210481ae2779","datavalue":{"value":{"entity-type":"item","numeric-id":1311412,"id":"Q1311412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$1DAB18D2-E226-4DB8-8861-7B4410E932DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec69f981604c496bf32ea77e5430ec992e0b59","datavalue":{"value":{"entity-type":"item","numeric-id":1344891,"id":"Q1344891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645233$043E20C6-AEA7-49E7-BB0A-ED77C576E833","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb0aa8285f0ca71bad512f517937dc940dfb8db","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a75b33ae4d4c61669e68e057c53a07ebba0cf17","datavalue":{"value":{"amount":"+0.9456356167793274","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":"Q4645233$E8C88A93-F695-463D-90B3-BCEC97ED2499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7338c18cc75f77d2e5e7ca7a1cb1d9321e3522c6","datavalue":{"value":{"entity-type":"item","numeric-id":4263020,"id":"Q4263020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782a7b51bab90e1396f709b4f5caf0ad1dd26d84","datavalue":{"value":{"amount":"+0.8799875974655151","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":"Q4645233$03DFA32A-1B47-4F87-8240-7DB27847DFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a1298735b112548078970047add90b2d29788b","datavalue":{"value":{"entity-type":"item","numeric-id":1380414,"id":"Q1380414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782a7b51bab90e1396f709b4f5caf0ad1dd26d84","datavalue":{"value":{"amount":"+0.8799875974655151","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":"Q4645233$D2862D71-0AA8-44BC-BB6D-FFB8235EDC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5343a256059c90413c367a04bdf27b286c85de5b","datavalue":{"value":{"entity-type":"item","numeric-id":2825415,"id":"Q2825415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b6ccfa5ad380aea0095bc1f2c8f615b5e20952","datavalue":{"value":{"amount":"+0.7969285845756531","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":"Q4645233$0651EC95-75D0-445A-A4B8-880523051AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53662f7d469e3946380eb22df706dc7c81ce8d8","datavalue":{"value":{"entity-type":"item","numeric-id":4645243,"id":"Q4645243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed4ca09071d82c02545e44ba1eae96514de50a1","datavalue":{"value":{"amount":"+0.77786785364151","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":"Q4645233$4C3F4D0A-C4EE-476D-AC98-80AA08AAAC7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645233"}}}}}