{"entities":{"Q1583853":{"pageid":1594593,"ns":120,"title":"Item:Q1583853","lastrevid":72250512,"modified":"2026-04-14T03:38:12Z","type":"item","id":"Q1583853","labels":{"en":{"language":"en","value":"Program development schemata as derived rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523429"}},"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":"Q1583853$DC716433-7F97-4123-B932-3B647A4FE45C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab88128ed706b4ad09b2e02f0c835191b8bf57b3","datavalue":{"value":{"text":"Program development schemata as derived rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583853$C35D78E6-E8DE-4F32-AC34-2940E654D239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27e4eac880b2aa2d5d39d67115467f3c9caf5517","datavalue":{"value":"1015.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583853$4E558B5B-BE03-40C3-A878-B0DDEF7B0FD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8048c3871502f652ed6c03a9143c62d672ad3b17","datavalue":{"value":{"entity-type":"item","numeric-id":1583852,"id":"Q1583852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$3E3BCE86-2B34-465D-8A13-024A5FDC9F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$891B4BC2-7A86-439C-B1BA-9B4437AD1CAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$C9F313F2-493F-4C86-9524-00A6260F0CAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca81d64c0b12a62d219fb28ceff571fa6ba75361","datavalue":{"value":{"time":"+2002-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1583853$8567E6CA-37B0-4BA9-A270-86CC69CEB81E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d10e3ccda2d6df815976e9e1deca3fb631aa71d","datavalue":{"value":"https://semanticscholar.org/paper/8e476c9c78b856a8e42473746b418aa1a81cca40","type":"string"},"datatype":"url"},"type":"statement","id":"Q1583853$913983F5-6F2A-4A98-A05B-FA59A823A7CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583853$A8483CEE-BE93-4673-BAEE-80CFC049D2A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f59a4fb6f8c6906c07bebf40b7396c67bc03796d","datavalue":{"value":"1523429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583853$1E79B924-AD1A-4331-B706-085FD8FD6484","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583853$B2228792-2FD2-414A-802A-627A5766B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583853$F3EA9D57-E7FA-4B58-8835-C8E243F7AE41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c271564990b51b3fdbf68356ca04e9947a77eba1","datavalue":{"value":{"entity-type":"item","numeric-id":17051,"id":"Q17051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$B07DE28B-0AF5-4498-BBFA-53552433A5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$10E0C7E5-EA30-458F-BC21-6A3ECC8E55B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$1FD7CA63-6E8A-45E2-AE4E-07B7DC82A8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"deccf76ad6fd5180c299730d9ce8548930a22d55","datavalue":{"value":{"entity-type":"item","numeric-id":27330,"id":"Q27330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$557F579D-E14F-482A-8A48-7CF2922EB4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$42707F08-1391-4AED-9A73-4087C0DFD7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$C2E4C089-AE8F-4589-98FE-A18BD2577415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$8FC1807A-5ECE-400C-93F0-14F26DD63D82","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":"Q1583853$011DD81D-00B2-4E5A-B523-8B549EF196CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64731ee239bc2da6535da2f6747e6b8dc11c1294","datavalue":{"value":"W2057756105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583853$88E3AD41-7B8A-4B3E-B9A1-FF243E94A260","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf22dd93e7bcce27b64a9e13811d2afd5ef923db","datavalue":{"value":{"entity-type":"item","numeric-id":5053005,"id":"Q5053005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$7E4DABFD-BBB5-4A54-9B3A-4FDEE94DED23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a736b278f23c39b880c8ead13086b1445d66c0","datavalue":{"value":{"entity-type":"item","numeric-id":4296984,"id":"Q4296984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$616C43A5-34D8-430F-9D2D-C0E9D71B22F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde7f40e5a1f7e9dca73d242f651e960f1419fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3330483,"id":"Q3330483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$A9A50BD1-765E-430B-9325-016DD8FE4151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f1869c19dff016cb926d6baaa8f929f7c4eddb","datavalue":{"value":{"entity-type":"item","numeric-id":4138099,"id":"Q4138099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$A25AF315-C6CD-4109-BD11-A86C6785FB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5dbf7c1cc2106e7648baed15edd3bb3c3e41c2","datavalue":{"value":{"entity-type":"item","numeric-id":5560677,"id":"Q5560677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$52BE7E07-07D5-4265-A911-8251955F856F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b42d18e3cc0859435e91895f17f6ec094cbbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5649409,"id":"Q5649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$D272F0AA-DF71-4268-B90E-0104099D5922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b203876e6f57846e7be2f311a2634bd3555df6","datavalue":{"value":{"entity-type":"item","numeric-id":1075752,"id":"Q1075752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$BD238A57-8ACF-4C07-96C7-4A2E2F52A530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$A1F89AC1-75B9-471B-8D11-3619E751A165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$73F5A7B3-FD74-419F-810E-3AB03E6FAE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce23d3ca25a5cbb3a76e83d339b6bd377cb8a43","datavalue":{"value":{"entity-type":"item","numeric-id":690322,"id":"Q690322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$CA9B1DC3-0449-4505-862D-D164CBB7D3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aacb26a2f6eb48ad6441a165669579076c7401","datavalue":{"value":{"entity-type":"item","numeric-id":3916005,"id":"Q3916005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$57811064-630B-4621-9EA1-AB2D442D0CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$363D5C83-3AB6-4B1A-9AD5-9AAE9B9EEC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$1C7DCC31-15D1-447D-875C-F95DB8E4C6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$251B6FA9-7E48-4210-97BD-1129B9BA92DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee166b05c438df2f9df3e5908beede0a2381eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5657655,"id":"Q5657655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$B9A066BB-965E-4D1E-82EB-439AC5F1B779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25b023be872580f400ebe654bc1e9432ace3abf","datavalue":{"value":{"entity-type":"item","numeric-id":911750,"id":"Q911750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$2086CFA3-E8C6-4901-B310-94E78657D6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$69CD0B25-F0E3-4E9B-BDA1-D8D2C1548F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$B026BC07-4354-43DF-AE4D-0FDA4C8A406E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f52a135fa2cb9ae673692293b0336967bd5b19a","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$56CBABC9-7C32-49E4-9785-5329F3F20961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$096A57C9-FCB8-4938-9F8D-E51FF93F3A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30bfc959a8ce5e9b11b47703073f13e11df37e02","datavalue":{"value":{"entity-type":"item","numeric-id":5053012,"id":"Q5053012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$988EA000-1AA7-49F9-BB42-E7B4327A6C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808e39bccff475c7b654b044a520d206c22bcccd","datavalue":{"value":{"entity-type":"item","numeric-id":4939537,"id":"Q4939537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$7B6154CE-1BED-481E-B7EE-6565E77E9E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c62bfaf72bbd339ee3c3f8736580e3c47b8a92","datavalue":{"value":{"entity-type":"item","numeric-id":4391453,"id":"Q4391453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$BB7F6647-D60A-42E8-B9E2-5A8E3CBADBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$668456DA-E6B7-4B0A-AC1C-E617E24BFE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$A035AFAE-63F3-4036-A511-43BDF7F5927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$3818EA63-CCFD-4C68-BCF1-6C903F076691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583853$5D8119BB-69B4-4E1C-B470-47E9D10B3DDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1d1fd4f60c1262d9b6c01cb31d4aa90413f0840","datavalue":{"value":"10.1006/JSCO.1999.0346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583853$575F76D0-EA2B-465E-B593-4331B1A2D315","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ec5be43d26a98ab8adc424df1a8a3499a14cda","datavalue":{"value":{"entity-type":"item","numeric-id":706506,"id":"Q706506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c1c83040176ba500703f0f9c01f14bbeaa0fca","datavalue":{"value":{"amount":"+0.8961587","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":"Q1583853$1093D54F-D13F-40C8-8DD3-2FF5E9215174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842fc19bf4578815172dfce82ad422fdf58965ce","datavalue":{"value":{"entity-type":"item","numeric-id":4718457,"id":"Q4718457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac653943fd5959766cb71d0221460ecedbb1100","datavalue":{"value":{"amount":"+0.85751957","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":"Q1583853$6CC32AA4-6010-4649-ABB2-DDB1747A87B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f451f45e7a6b0ea13706f56b566c69777fe4cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992667,"id":"Q3992667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fce4e40afbda315033e3aa05bdaeb8fbd3d1d0","datavalue":{"value":{"amount":"+0.8574997","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":"Q1583853$944339DA-3FB6-445D-9D7D-4259445E4139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c435a28b3c0855686e42025a66c6ec8844989d15","datavalue":{"value":{"entity-type":"item","numeric-id":3996607,"id":"Q3996607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53603f83f575edba41623c85733c88c1284e998","datavalue":{"value":{"amount":"+0.8381558","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":"Q1583853$C59730CC-78CB-4227-A3D0-D6972AA1061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f313acf52490eeb6c5ae2109e43e36b7a27858","datavalue":{"value":{"entity-type":"item","numeric-id":4037329,"id":"Q4037329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d599768fdd69e9127be5dadcba404760df9a6afc","datavalue":{"value":{"amount":"+0.83484125","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":"Q1583853$517219CC-5A02-47B6-816F-94953A2D0633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2e621202286fcb827ecc5aee455697e3e85cf3","datavalue":{"value":{"entity-type":"item","numeric-id":1583858,"id":"Q1583858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e457459d2efa0c5be4362b6fb50e7b59408257d","datavalue":{"value":{"amount":"+0.83050585","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":"Q1583853$9310C5E4-F760-454D-B06B-EA6328BED5D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program development schemata as derived rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_development_schemata_as_derived_rules"}}}}}