{"entities":{"Q2945622":{"pageid":2956342,"ns":120,"title":"Item:Q2945622","lastrevid":52344242,"modified":"2026-01-22T09:47:13Z","type":"item","id":"Q2945622","labels":{"en":{"language":"en","value":"ROSCoq: robots powered by constructive reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481854"}},"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":"Q2945622$8958CF7B-60DA-48C9-A341-80C1C82B8D52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25493defb15b83ec35273399bc2d18e7dafca407","datavalue":{"value":{"text":"ROSCoq: Robots Powered by Constructive Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945622$0E4F5110-3D4C-4B67-A643-1CA5F230C367","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2984cfae918e60d3e06d6dec71c441fb0069d883","datavalue":{"value":"1465.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945622$AE5710D8-D94D-47B2-8EF4-54399E88901D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4685e080c8e5cbcc1f11912d86c44b55787162c","datavalue":{"value":"10.1007/978-3-319-22102-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945622$1978A432-C7EC-4C8A-8E20-A2BA2479EFA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32716be673cdc09479b44e6ef5b44e12f30c3c62","datavalue":{"value":{"entity-type":"item","numeric-id":1791137,"id":"Q1791137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$F59D5E8C-6448-487B-AADF-E27305F8112E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab4643119c3fb0bd6d1fddf228c18f5f784e130","datavalue":{"value":{"entity-type":"item","numeric-id":2945621,"id":"Q2945621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$A5EFD72C-A8E2-4335-A9C9-F51DAA9C246C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$8C614F8B-A8C3-486E-B88B-EABD0AE1D50F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945622$F04A5946-103D-4FB6-B74C-5F9EF6E11C10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945622$71FF5F74-BCF9-4A6A-871B-43996D83C829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945622$AF17B101-01F9-4B96-9156-A75791C92565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945622$73808431-354F-4F57-ACF3-58AC2829E106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79d3901525d8f8ff2a1e734a6703eeeba3fa4056","datavalue":{"value":"6481854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945622$38C50823-D1C4-42CE-9346-A977E8E2DEAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$E2EE3031-8F82-4DC2-8AC2-BD3258CCB1DB","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":"Q2945622$CA2DD6AB-7FA9-4B51-98C3-31CA3BF20C56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d34e1d2c00ad33a69f36b09153039236e581b80","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22102-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945622$69ABF16D-25B7-4E64-8A84-4299680ED9C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b265f402ec6e781be5e6db12ce3a377db6e23216","datavalue":{"value":"W2147877794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945622$B8E654FF-8B00-47CF-BF62-0304074995B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$19B42816-06B6-42C2-9998-629DEF60B044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7237ffb12f9e25db6f08fc9a97900ed45e5a332","datavalue":{"value":{"entity-type":"item","numeric-id":2813263,"id":"Q2813263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$2F962D4D-6A78-4C81-A293-65021E6EF30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48bf5954660715a07a41d17bc76e8053aaf445d2","datavalue":{"value":{"entity-type":"item","numeric-id":5747654,"id":"Q5747654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$9628B56A-70B4-4743-8DEF-5102DEC945DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba12c016d8a18c6b6dced4ac6d9d4fc5138be1b","datavalue":{"value":{"entity-type":"item","numeric-id":4913763,"id":"Q4913763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$92DBACE5-EBC7-4D5F-920B-826A579CCFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7575166e78b4e9a5f630f6a49dce1ed3c2c4df72","datavalue":{"value":{"entity-type":"item","numeric-id":1929306,"id":"Q1929306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$8C3CB3B4-BA54-4CA2-AE91-5DB87E3CA45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$F270B946-6771-46C5-844C-20174CAF7B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91c17eb426dae0dddf6a4c3a8672996b8f72054","datavalue":{"value":{"entity-type":"item","numeric-id":2986778,"id":"Q2986778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$BBE2D2D5-445F-4A73-AE12-504FBB36AD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$3A39511A-BF91-4B9E-BC63-5A068A12711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a98ca8ad947d93065e67feb1362da03cdb7848","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945622$DA7880FB-8E67-408C-A9B9-E36C725E5D90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8570b53c061bb8e760410299465c633b887606","datavalue":{"value":{"entity-type":"item","numeric-id":5200110,"id":"Q5200110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa824250aa57beef502e17230a6d97bc8432041b","datavalue":{"value":{"amount":"+0.6837157607078552","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":"Q2945622$A65D5D0D-201D-4298-A4D4-1E10BB25B1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce1498941628a17564a7069117256582c65c9f9a","datavalue":{"value":{"entity-type":"item","numeric-id":5747654,"id":"Q5747654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d50db080eed3ee23662430494d3c47163c2bdae","datavalue":{"value":{"amount":"+0.6709448099136353","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":"Q2945622$6B893063-1067-4649-A590-D1D8852FC84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93184323b25f8cf549364d04d765260ce21bec4","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4e0f9dbe724b234c00e515771d5bf4699430bd","datavalue":{"value":{"amount":"+0.6693165302276611","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":"Q2945622$9EFE8F4B-7559-4D89-ABA8-F918CD0C20CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33d31ace7a5b30e824ba125d8dc8d700de03c46","datavalue":{"value":{"entity-type":"item","numeric-id":3653851,"id":"Q3653851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b60a46ec5b5f57efd20e7deee466e841e4c26c","datavalue":{"value":{"amount":"+0.6668859720230103","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":"Q2945622$C01EFB82-7505-4F83-B23B-2E03FCBB15A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4f2860390bc544328555552fa26063e1c68a10","datavalue":{"value":{"entity-type":"item","numeric-id":4913763,"id":"Q4913763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c137bbfe8025699f90e6c146e19ff30a38c6b19c","datavalue":{"value":{"amount":"+0.6620030403137207","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":"Q2945622$CCF332E4-517D-40B2-9D6A-B77C8FD9FBA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945622"}}}}}