{"entities":{"Q3066094":{"pageid":3076810,"ns":120,"title":"Item:Q3066094","lastrevid":51159893,"modified":"2026-01-17T00:09:43Z","type":"item","id":"Q3066094","labels":{"en":{"language":"en","value":"ABC: algebraic bound computation for loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834035"}},"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":"Q3066094$3B9A98D3-2547-4610-AA43-FFE99497EE56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22f3c87c72e87e23684dbb65305f66d068358b6b","datavalue":{"value":{"text":"ABC: Algebraic Bound Computation for Loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066094$3B2E0A71-B24C-4BF5-A87D-8160915E3F58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22a6f2777e5853ca2d2c51f3541b52fac979ae10","datavalue":{"value":"1253.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066094$2EB36A5E-06A8-4FCC-AE30-6426CFC27318","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75171ed64691f26b970d6e9fc0177c4d5dc1ebf7","datavalue":{"value":"10.1007/978-3-642-17511-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066094$6AF44C57-32CB-4270-A1F9-3F98938BFC2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b00a2b4d40b9ac1e2840386f13b6a950d01735","datavalue":{"value":{"entity-type":"item","numeric-id":2870124,"id":"Q2870124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$0ABB1BD4-696C-4920-8703-888F89F0E156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ae7ee8e2db5eb0fb45e8b4f7d3ed90f59ba1a56","datavalue":{"value":{"entity-type":"item","numeric-id":3066093,"id":"Q3066093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$78511CE4-4927-4856-AACA-CAD847319284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$BAAB4C1F-C940-4173-AA4E-C4A16CBD7C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$9FEC4BA4-F6EB-4B05-AFF4-086B893DE397","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$3D698E69-B6A6-4360-BAB5-75963BA25384","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066094$043AD7E9-58D6-46F4-B85A-03C246338E61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbfcb6e51124ea343e6619b3040b569be96d2392","datavalue":{"value":"https://infoscience.epfl.ch/record/186096/files/LPAR09_Kovacs.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066094$C26088DC-FB46-4F97-A1D1-6E34BAFDDFA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066094$C87A0365-73F0-422F-8A42-D7F5B39C722E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066094$C812EF69-1F49-4258-9945-2BB42D3F04CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a510640c2fb27f87be39d996beeea99a5a05922d","datavalue":{"value":"5834035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066094$E8BE82AD-C8DF-4331-B9F9-662B9DA76CFA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d30ac6d6d51a2e997937ed6fd20baf9306f44df9","datavalue":{"value":{"entity-type":"item","numeric-id":20899,"id":"Q20899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$5EAEC984-F340-499D-9DC9-91DEDF824F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d537d72f95ebd5c9c1642b31d76fb7b38c5b96f0","datavalue":{"value":{"entity-type":"item","numeric-id":13533,"id":"Q13533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$FCCCB192-006F-4F92-A387-E36786FFCCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d26027dbc24b51128e6c66b37b2bcc97660706c8","datavalue":{"value":{"entity-type":"item","numeric-id":13738,"id":"Q13738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$A5A86C1C-630E-4F0C-807E-F3E0FBCF616C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$DD7B15CF-2F1C-4574-BA7F-E0FAC59EB9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$D68A19DF-1269-498A-81A7-44A368DDD845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"308c9d19b10840f60de028f733a0e4446e2c05f7","datavalue":{"value":{"entity-type":"item","numeric-id":21700,"id":"Q21700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$88477ED8-9DA1-4646-A78F-BD07A5E8BA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"23c8d69bf8def9618e0422c7fac627ac188fdce2","datavalue":{"value":{"entity-type":"item","numeric-id":21702,"id":"Q21702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066094$E2E09F9E-950A-41D5-B909-5B9E5D3F9C16","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":"Q3066094$49DCB530-35C7-43E0-AF9E-AC54DC4EA285","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85a7689e9601e2f6dcef2549a7012fefb06a901d","datavalue":{"value":"W1848153821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066094$1721E24A-EEE1-4B41-99AF-8F73DB82EBC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf3e4ae1cf42abfcc8326250c922f458a9a91e2","datavalue":{"value":{"entity-type":"item","numeric-id":3457981,"id":"Q3457981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f6d080fe3291be8a77af49670e10beae2315e7","datavalue":{"value":{"amount":"+0.7573550343513489","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":"Q3066094$D388D3A6-EAB0-4AD0-815B-2B5F9B96A893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d458edef0a12fe970318efe1226e2d77f71467","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba1e0e4d82f48a69353ed69df77ad11b3a20d84","datavalue":{"value":{"amount":"+0.7276875376701355","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":"Q3066094$F8980059-0AF0-457F-9062-90FA8A412CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7c90b510a5f1e67bc4c689204ae8e96e26c107","datavalue":{"value":{"entity-type":"item","numeric-id":6177467,"id":"Q6177467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175d5d0ce4cb99950056567a84f78106862ee1ea","datavalue":{"value":{"amount":"+0.7061704993247986","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":"Q3066094$6B3D223D-89CD-4D14-91A0-848652C5A03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806191d80fbd5e5bca8533c8fabcb8b67ac5b0f5","datavalue":{"value":{"entity-type":"item","numeric-id":5408447,"id":"Q5408447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16298b082141d514c693646567bf4fc3721e2301","datavalue":{"value":{"amount":"+0.7028338313102722","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":"Q3066094$790590D2-03F3-4882-BB9F-A9BB74EF5802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8853475b282af5ddd36d57b26102a203ea9dec3f","datavalue":{"value":{"entity-type":"item","numeric-id":2946710,"id":"Q2946710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2b49da70c7edc612977d046807f865bb3b0bb7","datavalue":{"value":{"amount":"+0.6997777819633484","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":"Q3066094$33349E27-CC34-499F-8827-D897EE0CB2A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3066094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3066094"}}}}}