{"entities":{"Q2999324":{"pageid":3010048,"ns":120,"title":"Item:Q2999324","lastrevid":51242741,"modified":"2026-01-17T10:12:58Z","type":"item","id":"Q2999324","labels":{"en":{"language":"en","value":"Normalization of linear Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887529"}},"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":"Q2999324$A49B8573-880C-4547-B8D0-9916047299EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40ccc81e9aa9874aab5d7c87597680014a22394b","datavalue":{"value":{"text":"Normalization of Linear Horn Clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999324$873D6464-0B1D-4A7A-95E4-4089A729D3C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcab4740ecc55ca977ebea47ac0450a465518ef9","datavalue":{"value":"1325.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999324$29D18FA7-2070-4B36-9BA1-78E1796D6D52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49b4bd20cf4807343c4b75095c913bfcb14ff40a","datavalue":{"value":"10.1007/978-3-642-19829-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999324$89D6E359-5B65-4B7E-838B-9572BCF73AFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff75dd00fcd4a3f56295820358cc11a89e7faf1d","datavalue":{"value":{"entity-type":"item","numeric-id":435966,"id":"Q435966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$0B4C91F7-5098-49F3-98D8-6AD70A77F775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$751FE240-323D-4FDA-93D0-141AFD311D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e19b9844a7dd66a028eac52049aa31d9f05c37","datavalue":{"value":{"entity-type":"item","numeric-id":2373698,"id":"Q2373698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$1D5E2BB5-9E5C-4CC3-9EF8-89FBA4091CB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$63CA3B43-1410-471B-8C32-F044DCDF5D30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f158f41192295853b61fc4556e992b30521ff06f","datavalue":{"value":{"time":"+2011-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999324$1F7A4EE3-1079-4F72-B32A-C4DA96A05909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999324$D108F3F5-87B2-45A4-BE2B-3F45ACAC91B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999324$B4B0BDE4-9A9C-4CA8-9FB9-658148CDE053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b25717cdf0f70fb91125e1f662d44d301f91758b","datavalue":{"value":"5887529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999324$7A15CFDA-4A23-42FB-8DD9-45BB78827270","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":"Q2999324$707828D1-064B-4F16-85A7-69AC1E979ED8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec815eee9a70c0ed983c1e6dced87a0912fbdcc8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19829-8_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999324$CFEF12C1-7E9D-4DC6-85E6-0C97D5639B0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d10a1d06dd70edc3979922f20e8c12b1fbe8768","datavalue":{"value":"W1672320438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999324$3E8088EB-FE68-4516-A233-871120071AFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$B25B9754-E762-4190-818F-3AAD156A04AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$12A2770E-5F8B-48A0-A95D-A72CBCA2BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$D010A721-3318-4710-84B5-E49BCCE46F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250152f4757232a993d72bf46f4fcc6e4ea0ffdd","datavalue":{"value":{"entity-type":"item","numeric-id":1041797,"id":"Q1041797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$7BC71B17-9D3C-4253-B8F9-C1FD8FD8DDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfb5c754db591116427ff83cbebc66eebe22e73","datavalue":{"value":{"entity-type":"item","numeric-id":5711502,"id":"Q5711502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$FC6717D1-CE30-40B4-BD01-BB79D0A782FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b863bad8c35c8d3656f5da8a6612b96a58d9a7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5958465,"id":"Q5958465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$77888D77-F871-4C67-9AE8-BDAFE80E75A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30dfa4da1d23fed8a93ada825dde4d5a2e1a064a","datavalue":{"value":{"entity-type":"item","numeric-id":4234763,"id":"Q4234763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$1FFB5BC8-F0A4-4FE5-A905-0DBC01575323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6407b6e9668e66598bce135c9118f2f7f06d37","datavalue":{"value":{"entity-type":"item","numeric-id":5458391,"id":"Q5458391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$7D76927C-970B-467B-BE5D-C856446371B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824c9af687040c612a07dabade67e4643eedfc23","datavalue":{"value":{"entity-type":"item","numeric-id":4411948,"id":"Q4411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$131E9291-C405-43B8-8A45-1A1E4BEC98F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999324$0F8398D5-1EA5-40AB-8859-5DC75ECF5DC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb058746dfb54e88ecdd43ae5cec88c4f411544","datavalue":{"value":{"entity-type":"item","numeric-id":4411948,"id":"Q4411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca1178cda90c23709c8eeece7b081e977160376","datavalue":{"value":{"amount":"+0.8397770524024963","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":"Q2999324$43E22E6D-9568-4C30-96FC-81100079F2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b85d204ba140de2ba0bcf39f4c004cfccbcbe62","datavalue":{"value":{"entity-type":"item","numeric-id":757095,"id":"Q757095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab54cd705e0c015c41ce023d046343accf2e00a1","datavalue":{"value":{"amount":"+0.7320705056190491","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":"Q2999324$8DF0967B-2D87-4C17-B3A1-3168FF155F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43e6e0d0ae7a229d36a7947d6edc16ba52ad99d","datavalue":{"value":{"entity-type":"item","numeric-id":5015369,"id":"Q5015369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14e14387f6324da3b3916149d4514eca3e34dd7","datavalue":{"value":{"amount":"+0.7131356596946716","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":"Q2999324$1213A84D-737D-4216-B88B-677238CBA1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a5bb51e3095387c40d880ae273a0fce71d2c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0977589fdb01986d868f774b0f7cd88f8b08c5","datavalue":{"value":{"amount":"+0.7130048274993896","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":"Q2999324$7FED219F-8DAB-45A2-B21C-FCEBA1678F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d734cf47ec5d74c2caf3a77a7778b0c7e3a950a6","datavalue":{"value":{"entity-type":"item","numeric-id":4525287,"id":"Q4525287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29879b19e361083c0a30d194ca046282ce76c26","datavalue":{"value":{"amount":"+0.7073003053665161","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":"Q2999324$859F328D-5D25-4DDC-8E1C-5EF6F8F2C7FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999324"}}}}}