{"entities":{"Q1176239":{"pageid":1186988,"ns":120,"title":"Item:Q1176239","lastrevid":47043736,"modified":"2025-12-31T11:57:46Z","type":"item","id":"Q1176239","labels":{"en":{"language":"en","value":"Finite constants: Characterizations of a new decidable set of constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13890"}},"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":"Q1176239$9459BA96-8F40-4DA4-B66D-7F2D8D6E2B3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf2798beb49f25f61758370964e04cb01b88f081","datavalue":{"value":{"text":"Finite constants: Characterizations of a new decidable set of constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176239$12601CA3-FB0A-439C-ADE5-7F11499A5EA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6be51b3ef6c2e09c43a782984dec742683aac4ac","datavalue":{"value":"0745.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176239$AA902E1B-F1EB-4BEC-97F7-6CEC95753539","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e3a21f8951805173027e1e59fa5cf0b0301233c","datavalue":{"value":"10.1016/0304-3975(91)90392-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176239$E2B8FC30-CAC3-4926-AF75-8AC6EB6ADB2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$EAC5F13E-0A31-47B5-AD77-35DA03A8DA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb95e647102d0ffe6984f49453210b0dbafa3f03","datavalue":{"value":{"entity-type":"item","numeric-id":507356,"id":"Q507356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$4585A5FF-1C5A-4FD3-99BB-A5AA4FAC904E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$3458A20E-2287-41D3-9428-A041A36DC873","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176239$AF33A0A2-D952-49BD-98DD-04F968E34455","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176239$98C3C016-ECC2-477B-814F-89340A24A85D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1568a28d52a6698bc52b4b63d25a78ca24871fbf","datavalue":{"value":"13890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176239$AD6FB0DE-9888-4A4F-9C66-21473DD73728","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16a16af5c4871f8e73fc0cc63105446d2e9bc825","datavalue":{"value":"Constant propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176239$06956B9A-A34D-4160-B63B-4B874FCC3E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e853430466bb5e7e0afab015ac9ce9b37669741","datavalue":{"value":"program optimization method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176239$35F08D05-6601-4DBF-9D6E-D347ABB00EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4a5a1486b384914e1f8f884fc64c720ed3671d","datavalue":{"value":"finite constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176239$112B6DC7-42DE-41C5-AE77-963491A18420","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":"Q1176239$D4CF29FF-4684-44A9-A8B5-42815BCB5B60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d996a816abd38109b90210d439b8ff3e8911ba62","datavalue":{"value":{"entity-type":"item","numeric-id":5592247,"id":"Q5592247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$C7B969D8-DC48-4ED9-BE23-CD376FF4F0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e508dc081d7bc8bf96b09065710100d762fab295","datavalue":{"value":{"entity-type":"item","numeric-id":4048580,"id":"Q4048580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$275FE357-FAE7-4892-BE7F-1707EF09BDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ee4b3dff32df37da8a420ca50710cdb5fb22f6","datavalue":{"value":{"entity-type":"item","numeric-id":5657644,"id":"Q5657644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$3F6BAB6D-AFF9-42F6-87ED-417FF33D4550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$A357DD90-D847-47DA-A6BB-D38A7E1A9C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$D03873F5-8E59-4878-AFC7-0AED074139EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24eb300841d0e0b571606f3eb7a1f32b7e99531b","datavalue":{"value":{"entity-type":"item","numeric-id":4076758,"id":"Q4076758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$2B054C95-0F9E-400D-9E0B-6FF95B2E5353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$0238F682-B7EB-4A65-B4B3-915DFF44659F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f930ca91abf231177cfedcacf8bb6bea215c525a","datavalue":{"value":{"entity-type":"item","numeric-id":1082800,"id":"Q1082800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$C6E9F092-D23C-45D1-9803-A95754DDB8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce7718b55d026d13ec50a62ea179040ae5a19ec","datavalue":{"value":{"entity-type":"item","numeric-id":3996243,"id":"Q3996243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$9C796626-C697-4274-A075-2A101B432C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c12c23e277094f5e7175e44d4a6e04fd5d7dd2","datavalue":{"value":{"entity-type":"item","numeric-id":4721632,"id":"Q4721632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$AAB7E960-25D5-4000-8F43-AC62AC9F9E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9aee3fdf112a79fd712cf4fa7c3ae34a2e85ced","datavalue":{"value":{"entity-type":"item","numeric-id":3975170,"id":"Q3975170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$4DBFE021-7415-4511-8F90-AAF434ABC20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265d444eedd085f3a1dbce01e8c318f3e7725b09","datavalue":{"value":{"entity-type":"item","numeric-id":3975169,"id":"Q3975169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$9E77A480-D65F-42E6-B71A-B26134B331AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ff0a420feecc8124e674d6ad3dd21b8ae9afad","datavalue":{"value":{"entity-type":"item","numeric-id":3912035,"id":"Q3912035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176239$9C705B77-85AB-4F44-AC9E-2B2895D6F800","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478c6117ea9e132c551ad00042124e0bf7e8d361","datavalue":{"value":{"entity-type":"item","numeric-id":3975169,"id":"Q3975169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5651e5046fa4553ba2ef714346d502b196b8e3","datavalue":{"value":{"amount":"+0.9980166554450988","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":"Q1176239$67088D69-AE02-43AF-B6FA-A265985D3817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d65f457eae5826196c1232d951ca6c5c35e927d","datavalue":{"value":{"entity-type":"item","numeric-id":2432964,"id":"Q2432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5651e5046fa4553ba2ef714346d502b196b8e3","datavalue":{"value":{"amount":"+0.9980166554450988","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":"Q1176239$97FA6342-D718-408E-999B-88C0014D4518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0925052692d529cf165ce81a75e395248b65299e","datavalue":{"value":{"entity-type":"item","numeric-id":4411947,"id":"Q4411947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a377ba23b146cd7c9502937d85acfe1c472e1eec","datavalue":{"value":{"amount":"+0.8077366948127747","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":"Q1176239$28B4E3B7-8DF2-4217-A4D0-82415BF0879E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8d7b8a413f48c5494b466c4a2ae0351f4b935a","datavalue":{"value":{"entity-type":"item","numeric-id":2763673,"id":"Q2763673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04bab3e3862fae12ce8ee1b4023fbd066e93483","datavalue":{"value":{"amount":"+0.8065775632858276","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":"Q1176239$2134A4AE-87FB-4CF8-A3BB-EB386602672C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a081d2213efd52b075b8d8097c6e9a4fe6e344","datavalue":{"value":{"entity-type":"item","numeric-id":671681,"id":"Q671681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41030114f96fa2b8b8efcb49256764415cec3a64","datavalue":{"value":{"amount":"+0.7752202749252319","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":"Q1176239$810CD819-11E2-4C75-B9E1-55F599E58379","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1176239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1176239"}}}}}