{"entities":{"Q3058455":{"pageid":3069171,"ns":120,"title":"Item:Q3058455","lastrevid":80138882,"modified":"2026-05-06T15:31:32Z","type":"item","id":"Q3058455","labels":{"en":{"language":"en","value":"Second-order programs with preconditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5818179"}},"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":"Q3058455$338658F0-8937-4111-B2B3-6A119CA2772A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be71d2bf5f1eeff34302af15af5aaa9a1816276f","datavalue":{"value":{"text":"Second-Order Programs with Preconditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3058455$472B8C6A-EB12-47F0-9051-A49871CE7B53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d75173b80921ac0e10fdfd80d69d6273f6350c8","datavalue":{"value":"1309.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058455$9033945B-057F-4461-BBDD-A3CFA2DFAB1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53f302e1eeb597cc4874f9739537512a37dca927","datavalue":{"value":"10.1007/978-3-642-17172-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058455$D16F97BA-A6FE-4296-9449-15750EAD734F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"776c5611605b33995b265c521cf1d553220a628f","datavalue":{"value":{"entity-type":"item","numeric-id":2866335,"id":"Q2866335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$A8CB6F09-6E60-4CA4-8349-A90BF36D45CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45799abc9832f373d48a10466fe1bfbd3b97c8b8","datavalue":{"value":{"entity-type":"item","numeric-id":3058447,"id":"Q3058447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$0CCD8E62-A6A1-4D1E-8C84-6FF143AC5611","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0597dd9f38cc744686ebfdde0ab7e717b4afd491","datavalue":{"value":{"time":"+2010-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3058455$C8625472-B367-42CF-A9C9-B90609342077","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058455$FD878F12-7443-4736-B5A1-2F330C726F57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca3594522bd06ec95e3a9b576dc2f10c05e77239","datavalue":{"value":"5818179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058455$27142B8C-E370-4D8C-89BC-45833AA32B46","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$68941162-CD49-4AFD-81E3-9E9DA29DF5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$D02B3749-E9D2-4C36-823E-A6AA3016F8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$58BC2124-A647-4183-AFF7-E0F84A0C2DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$56E34424-4355-4D6F-9099-E85DAE3ED250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$040E1BC4-A3B8-4346-8751-1FF37C687F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$8FD1BE1C-589B-4381-8647-67807DE24291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e12a5bc154ad67aa9b674da476cd2afc9531b51","datavalue":{"value":{"entity-type":"item","numeric-id":33982,"id":"Q33982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$1EDE5703-A619-466A-B43B-76785B8FE785","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":"Q3058455$38A5451B-FFAD-44F1-A339-712A804805A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5993a355fd59bed0aa030c5a8b26ed4a70fc7dd2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17172-7_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3058455$39FB077B-DF0A-4758-AF3A-424DADB7F408","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af8e87aba4111a26002d8ad8f425dd7d7c54389a","datavalue":{"value":"W1602965671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058455$C7C3F51F-82A7-403D-83D2-6EC1FAC32166","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2879bce882c8e3f4e5b8a99bcc4caad30f655d51","datavalue":{"value":{"entity-type":"item","numeric-id":5747766,"id":"Q5747766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$57805C96-1E11-4E8B-AD1E-BA7D8BACA7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$E6EB0E46-A4D0-4CBF-9F2B-C7E85390E0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283b457c1aa928df8cba388628638010a8a9e043","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$3253EE3D-F680-46A1-8B17-B071DC274857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7520de1b4bf1bc0bba49f7075996531473a953","datavalue":{"value":{"entity-type":"item","numeric-id":5477654,"id":"Q5477654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$40B6FC5F-ADC7-4990-AB00-DD0CF9BE22B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$901E416B-637B-48C9-9DCF-9BB4629EBDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$6DAE1BAF-5EF0-478E-A0E3-3F32F580D8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$3BD0B217-7CAF-43F3-A874-022347C6F1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e784c04dc3517f7e8c2f696415ad60810b63e89","datavalue":{"value":{"entity-type":"item","numeric-id":2866336,"id":"Q2866336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$22B91250-2E5E-4FF8-B1D9-44FFB6D72CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616eb6f57b88dcadb274d675e53cb447b5f8ed00","datavalue":{"value":{"entity-type":"item","numeric-id":5387856,"id":"Q5387856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$94CDA95C-B274-4E49-95D9-DD3A8318D289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296d77b4fdcf0e960596a91f471af065b562b6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5261504,"id":"Q5261504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058455$A1EEADA1-04B3-446F-AD28-DEF58347DBCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb35222c649334b2ba24b6186c164c7c44df0c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3557079,"id":"Q3557079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b1ef84fc656716be90d01e15cd581f6029ebcd","datavalue":{"value":{"amount":"+0.6545077562332153","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":"Q3058455$C31956BC-7CDD-4D16-A1F9-79EA13E20D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85dad8fd9676e26988c42cd7ceb737380be5b65","datavalue":{"value":{"entity-type":"item","numeric-id":5747766,"id":"Q5747766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4faba5798b67b11e3d48954251980488ec7c14","datavalue":{"value":{"amount":"+0.6362283825874329","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":"Q3058455$DA596DFF-5B50-4AE3-857F-48DC480FD515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac10a995996159ba3bd28e30d8ccf9bb9a650c1","datavalue":{"value":{"entity-type":"item","numeric-id":5168926,"id":"Q5168926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba066598001c64011e9173dac160a4c197df98e0","datavalue":{"value":{"amount":"+0.6257478594779968","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":"Q3058455$8EDAB886-B72D-4DEB-8278-FB5EC0B76174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c4a4d094397169a2c326dca542cfa014ddbe4b","datavalue":{"value":{"entity-type":"item","numeric-id":3392933,"id":"Q3392933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9610fd77a5d12e0501ef7e66a338685220f10f6e","datavalue":{"value":{"amount":"+0.6206587553024292","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":"Q3058455$19EE5066-949D-48C0-9C43-9B9289EB6A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22173373a36b1b142d22a05e5b18e5f09b270992","datavalue":{"value":{"entity-type":"item","numeric-id":2754055,"id":"Q2754055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8023b0b1195fb43f13273a4bda52e020c22edde","datavalue":{"value":{"amount":"+0.6182836890220642","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":"Q3058455$39032FE2-1308-4E97-A223-EBFED990639C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Second-order programs with preconditions","badges":[]}}}}}