{"entities":{"Q4542238":{"pageid":6571830,"ns":120,"title":"Item:Q4542238","lastrevid":89713724,"modified":"2026-06-04T18:04:47Z","type":"item","id":"Q4542238","labels":{"en":{"language":"en","value":"-Calculus with Explicit Points and Approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1775128"}},"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":"Q4542238$7A66A556-032F-448A-98B6-6DF761F8361A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c6a2995ddbdbd1299e2e847c305877a2608b1d4","datavalue":{"value":{"text":"-Calculus with Explicit Points and Approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4542238$1E84AE10-C045-467E-861D-9B8CA027868E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef84b00fa9ccc04e4968e2a040a1efc42552cff7","datavalue":{"value":"1003.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542238$24B001D3-8D6A-4CB9-A516-1497D01542CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542238$5D942A2D-9556-43AB-BD7F-E196356BA4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542238$EBBF79C6-E83F-4C5B-9910-A0411D7A7618","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfd9fe0ffe645990a25b4b0074538b646a1d9a19","datavalue":{"value":{"time":"+2002-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4542238$1BEEAAC6-8AD8-433B-9B25-217A88AF7DDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6b7f243f7c05e5cdc07f8c1b1b4e6037cb183a1","datavalue":{"value":"https://semanticscholar.org/paper/3b0df0bf432686704cce361ab4984320a5a1e216","type":"string"},"datatype":"url"},"type":"statement","id":"Q4542238$F163D2BC-4DC0-4007-9435-53D4767C44E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542238$EF68693B-1436-414F-ADC6-AF4F4882A91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542238$5CEBFFF3-8856-4AFC-885D-F1EEDA046C64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d23f476f7706f7f8f0388f71277a937d5f0a1bac","datavalue":{"value":"1775128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542238$DAC8A5F0-CC5F-4A96-A350-30B5224002D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542238$824B024D-0271-4678-BC5F-DB2821526DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542238$4F4DF602-833C-4A49-A43E-9780E708D0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542238$B4FD385F-C631-4C8B-B22F-0C963E78C6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542238$E4BFC664-CBCC-49B0-A573-0EFF34E452AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e33e0324d8c5927af481a557506125435d5669","datavalue":{"value":"fixed-point formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542238$2D774396-772F-41B7-9604-3D7E888804F4","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":"Q4542238$F484F918-F34E-4EE6-B89C-B4483E662EDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b33d4b374403b965d4b7107c4eaaf451ac7165ee","datavalue":{"value":"W2014496562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542238$78E891DE-1C73-44E7-9C31-ED0CE1610BCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f876143b51153bbf780e19bf6c776222437f9270","datavalue":{"value":"10.1093/LOGCOM/12.2.255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542238$9E638730-EB86-4AFE-B1F1-DD79DDEC9572","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542238$7BE82AA2-9FFB-49C6-8B92-A1BBC012A745","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429ceecd8fd14e3a700bd0400fc5b26ea5b45556","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a37ee40136b2f1bb2eab0ca9e84aa862319f67","datavalue":{"value":{"amount":"+0.8925499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$1BF8450E-266C-4655-BA61-788E0C55D70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a620eb1691699bcf6e88adaa809c9e8d41a75d93","datavalue":{"value":{"entity-type":"item","numeric-id":5268997,"id":"Q5268997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5554cb304c043a70afec0618f4c0d3dff00625bd","datavalue":{"value":{"amount":"+0.8869758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$E0D0AF7E-5ADF-4834-98D6-F11714443B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b55fd76bee2115b9acad69793872c6200e19ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db4e5a5702ff0366fd1dd7bf75569fffd84ec6a","datavalue":{"value":{"amount":"+0.8692969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$077D43CC-D2EF-4F11-9F37-63533C727DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48d73dc5dfe8627272d0137e48eaa37182eb5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4992900,"id":"Q4992900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db4e5a5702ff0366fd1dd7bf75569fffd84ec6a","datavalue":{"value":{"amount":"+0.8692969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$95156EA1-FBF1-4D82-B248-EA929D9D1797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca880c2b6dca52c66e45e1a66bec6778d00be7d6","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7447cdefbd905f8d68bb37bf4a06562fbfbf807","datavalue":{"value":{"amount":"+0.8672471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$14CD96F7-852E-48EA-977B-CBD2BB1DF67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfbaf583855ef8a2178226a9c017450879dc03c0","datavalue":{"value":{"entity-type":"item","numeric-id":3699099,"id":"Q3699099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e5eaa0d7927f53fa8db355626c48862c6cfc80","datavalue":{"value":{"amount":"+0.8586439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$796D867B-B817-4708-BC2D-EEE450BC1738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f74af81ed0b60e24d54ab1b00c684e5b1b3abc1","datavalue":{"value":{"entity-type":"item","numeric-id":4825101,"id":"Q4825101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6de132209b46e1cdf26474312e21e57588511d","datavalue":{"value":{"amount":"+0.8571254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$840AE42F-BAF6-4A78-92C3-4222EB7E0079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19be79f0fa53ab618db2bca5383fc10e0ba28a2","datavalue":{"value":{"entity-type":"item","numeric-id":5486073,"id":"Q5486073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493fd175a6ceb158aac3ab608385fd2ca5ce73dd","datavalue":{"value":{"amount":"+0.85560536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$42FEB1DC-7AC6-40AC-87BE-2378D3492C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6956d7da2b47b2b8591f3b093091a7c8687189e4","datavalue":{"value":{"entity-type":"item","numeric-id":1946673,"id":"Q1946673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80f6bd28d73d5b3625dc1c06af1a0e09a09393e","datavalue":{"value":{"amount":"+0.8524643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$DFAC6A83-3475-475E-8FBE-B60FB4FAC06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010477dc5ef1af563ea9063be1aec1c99b8da15c","datavalue":{"value":{"entity-type":"item","numeric-id":4723706,"id":"Q4723706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda4974496e882ee0aa1cc26d90a4f089c605e78","datavalue":{"value":{"amount":"+0.8476549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4542238$F81D4E18-25EB-41E9-901C-2EB8CC97A8BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"-Calculus with Explicit Points and Approximations","badges":[]}}}}}