{"entities":{"Q5111306":{"pageid":7140880,"ns":120,"title":"Item:Q5111306","lastrevid":46185307,"modified":"2025-12-24T00:10:41Z","type":"item","id":"Q5111306","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204429"}},"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":"Q5111306$76E90192-241C-42D1-93B7-44A1AD22C0C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62bf0fbf0131f4bfad247dd06d41bd0877f2f6cd","datavalue":{"value":"1441.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111306$1CA1481E-8866-4EE5-A2BA-BDD3D51FE048","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64e3f5ef123aa6f51585b85ba7e1d30c48eefe6b","datavalue":{"value":{"entity-type":"item","numeric-id":879355,"id":"Q879355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$7ADB2A4F-21FE-4366-8EF6-92D0BAE0C958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"493805791802adb85d5fc41bfa7c8bacfff04a75","datavalue":{"value":{"entity-type":"item","numeric-id":1271567,"id":"Q1271567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$16226139-BEBC-4CBF-B1C2-6BB613FB9A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bda19a1a5578ac1cd0562747bfdecc7e7330234","datavalue":{"value":{"entity-type":"item","numeric-id":5111305,"id":"Q5111305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$95ED2F47-FEAE-4A7F-B1CE-1B02A79153C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111306$C6DD7E03-12C7-48CC-B1E7-B5496C85F8B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111306$22D6A510-59FE-4C56-AC84-9E2EC54AEA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111306$A02E547B-F612-41B8-B186-2F47FE894AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111306$AD45A8FC-C348-4B6C-B479-33420FFBDCB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"340c85897d6133433cc07129692a8ee5cff9d741","datavalue":{"value":"7204429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111306$350368B0-9C92-4A32-B454-B978F760318A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111306$04E7E1DE-3E04-476B-AB20-0DF5B731090F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111306$3DF59A0E-0DBB-405D-90E5-2638F247C817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111306$453E5073-2A52-4C59-8B11-D5E0C2D76141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111306$B1047D10-B382-4E23-A0BA-AB13E6E22D1A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$2C292709-E435-4774-856A-4F650F8680B3","rank":"normal"},{"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":"Q5111306$2908E5CD-2AD9-44E0-9AA6-43A664D98695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0996c451b14a06853df9996b5aeda4f0ca33756","datavalue":{"value":{"entity-type":"item","numeric-id":21900,"id":"Q21900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$30E38487-6BA0-4C1E-8D99-7A29B5EE117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$61B0B3A0-3F8B-4BB0-B897-1BF5BD53A007","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":"Q5111306$7CC0F192-1CFA-4986-A66C-1A0012726495","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2dceb0945904c43f199d35b1b3cc849bc44877","datavalue":{"value":{"entity-type":"item","numeric-id":2390256,"id":"Q2390256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$07F2ED89-C14B-4371-9A4C-5682E7EBB903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378877bcf6c6784857308e7934243ad314668b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5310642,"id":"Q5310642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$4857F123-2D3B-40C9-9E5C-A3D034C4C508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2747a8c6f8d719be02ea61693091a9779659f973","datavalue":{"value":{"entity-type":"item","numeric-id":879356,"id":"Q879356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$7AE221FB-97D1-46E1-9C44-45EEC7FD33D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c695880cf338a015de77cbf0ba509fe33dac810","datavalue":{"value":{"entity-type":"item","numeric-id":2464720,"id":"Q2464720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$F63CEBBB-C576-4E74-B539-5EB6847B7E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4720f70e120ed85bb8c0d4c65ee03553a9d30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3453649,"id":"Q3453649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$46595462-FBEC-4943-A5F5-03D93682ACE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359d9a6875f585752ebc72ea4042b65d0fdb3030","datavalue":{"value":{"entity-type":"item","numeric-id":2841251,"id":"Q2841251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$7B936F1F-710C-4563-9964-9749CABB756C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec914e13778f9f7efd28b1b1c29a040fb309cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3655271,"id":"Q3655271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$E67A5B8A-749E-47CD-A986-FD78CB59CB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56eb0fc9625e25fe1c1f9ee4c150289812881be6","datavalue":{"value":{"entity-type":"item","numeric-id":5261514,"id":"Q5261514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$ED409193-1207-4B8B-A0BA-85583C703136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$21420072-F75A-438C-AE40-819B1B57457F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acbc35a8cddd0d4b3e090c62de84c098dad3c37","datavalue":{"value":{"entity-type":"item","numeric-id":4236754,"id":"Q4236754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$B952F57F-39AD-4A6E-BC4E-2F27DA9D5B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$C8873F95-EAB2-46A5-B2F7-2F2C7A4636EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf489d67b7daf65876f5f074ccde932b9fb64c9","datavalue":{"value":{"entity-type":"item","numeric-id":4414741,"id":"Q4414741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111306$18714F3B-55F0-43F9-A236-A4AB2D8BFD23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33b9b51b811fc6ce40c0d267b15fa783a60706cf","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111306$8A9FE9CD-004B-4707-8A24-0FB885D6BAF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b8799d431fd7369867c587882c377338cf5f61","datavalue":{"value":{"entity-type":"item","numeric-id":3453649,"id":"Q3453649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e941a44dbc440bcb298ea96ec64b52649d902d3d","datavalue":{"value":{"amount":"+0.7853642702102661","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":"Q5111306$A17867C2-7F5F-47C2-8247-DC11288AEB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c458e70f6038dd41325747d4ffa82a543c9745","datavalue":{"value":{"entity-type":"item","numeric-id":4279254,"id":"Q4279254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72940fa1e960aecff3f16d3d04c5c75e8fac5cbd","datavalue":{"value":{"amount":"+0.7264377474784851","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":"Q5111306$42EF6158-4958-4593-A62B-E5CD97F2C674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53b1cdbbc406497b52d915d9ed90d37ed27eb41","datavalue":{"value":{"entity-type":"item","numeric-id":963342,"id":"Q963342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a86d850c6900fd47e07c80f7c2bab198181bf2e","datavalue":{"value":{"amount":"+0.7043761610984802","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":"Q5111306$63911871-24E7-4CF7-83CE-80DA6FE8ED42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1400c0f43d6cd76ce0b9a0d051df4abbd4d9d49d","datavalue":{"value":{"entity-type":"item","numeric-id":5277795,"id":"Q5277795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defa80f02bc914ed835256b02e058d2f6e6faafa","datavalue":{"value":{"amount":"+0.7012254595756531","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":"Q5111306$A3FACBB5-60D7-439E-96FF-CBFE49883CEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111306"}}}}}