{"entities":{"Q3740203":{"pageid":5770109,"ns":120,"title":"Item:Q3740203","lastrevid":50937848,"modified":"2026-01-15T20:19:10Z","type":"item","id":"Q3740203","labels":{"en":{"language":"en","value":"Program derivation in type theory: A partitioning problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974260"}},"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":"Q3740203$87486D53-9AD7-4723-9783-CA524C176433","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5100054b9d80c03c5f240a3f05917bab9abf80c4","datavalue":{"value":{"text":"Program derivation in type theory: A partitioning problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3740203$2EFB4F5E-CE60-4700-838C-32D70B77AF92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c97cb927e58fe850f5f034b28b944639033fdae0","datavalue":{"value":"0603.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740203$39D08975-9E03-4290-9940-BC3E8AED600D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7bac96347bd6dc8cd086b0cc92a47c0c79d0f18","datavalue":{"value":"10.1016/0096-0551(86)90009-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740203$8C855F14-2C5B-4A98-9399-9AB8BD3A8409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9d51ee16db35034307408c5a88623bb0cc13fa","datavalue":{"value":{"entity-type":"item","numeric-id":3740202,"id":"Q3740202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740203$14800E32-B4D4-40A4-BC6C-D194DD446101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740203$18F1E3E1-5587-4593-9C81-62504D5F58CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"303dafedc014c0fcf8bea9a3d20c503df66dd865","datavalue":{"value":{"entity-type":"item","numeric-id":2713369,"id":"Q2713369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740203$29EF1EB7-771E-4964-B07B-87E3627086B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3740203$9296E383-8E88-495E-A5FD-ACD353A0C0A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740203$2574D853-9913-4D99-BFE2-86EEAC64486D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740203$B24CE4D8-F11E-479C-BAD9-99CBDDDE9D07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"304f325c353e380b4a1eb43c583ba53c4879206d","datavalue":{"value":"3974260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740203$D79E0462-4FC3-42B4-B7DE-658D630DE14D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740203$B52932D3-A652-4E34-BF1B-0A3B778FF70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740203$DEAB79E7-09D9-4F26-8CE4-CDEFE3484E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c80ecf21428f980362763aa3ec34b156b15c6fc","datavalue":{"value":"tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740203$D6B829C0-233A-45B7-B7FF-FCE845E99861","rank":"normal"}],"P1463":[{"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":"Q3740203$654D258D-29FE-46AA-AADF-9237CB2DA13F","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":"Q3740203$CBB4EBDE-07A4-4B81-9BBE-4859163EB154","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd6ed48a3379420ce2fbf277c86f7b90f305faf7","datavalue":{"value":"https://doi.org/10.1016/0096-0551(86)90009-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3740203$B285F426-A3ED-4266-84CC-A2BB6BEDDEE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65e715b4bba0541d22baaf2084e82852eada7c2d","datavalue":{"value":"W2020925688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740203$4CECCE45-CC72-4956-9EC8-66D8A1AEBF8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e7df1b0c78b6165a85ac2ed3fa576a581f45e5","datavalue":{"value":{"entity-type":"item","numeric-id":4247305,"id":"Q4247305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de6386c8e74ca3ba94e51717daa9abf8f4f5d9c","datavalue":{"value":{"amount":"+0.9174534","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":"Q3740203$8427F3CA-1F3A-4EEA-8A5A-DE03C7AB8AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320f8287a6eec1fc5a76add9faffece70bc8dbb6","datavalue":{"value":{"entity-type":"item","numeric-id":3475253,"id":"Q3475253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0703d70a116e1e6df138d7c5080045b2a409b5fc","datavalue":{"value":{"amount":"+0.9038216","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":"Q3740203$FBE3018A-8F35-4931-8A79-24BF4BA199E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3456e90e605b88698c86c1dc64d96d45703930","datavalue":{"value":{"entity-type":"item","numeric-id":1802072,"id":"Q1802072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc0ed90ff1ee410acc8a0872facd753f4981899","datavalue":{"value":{"amount":"+0.89801836","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":"Q3740203$422BBA36-3C6E-47BB-A232-BAB1E503C5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc600ac55ca13d2339dcf8a745563416f3370171","datavalue":{"value":{"amount":"+0.8927012","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":"Q3740203$CDE5567D-D00A-4273-B8B8-B853B79B7EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa43dfa53db92802c473709570104b83e8debbf","datavalue":{"value":{"entity-type":"item","numeric-id":2277827,"id":"Q2277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e77ef7c2c98d17fa5390356ecaca1433cfc1dd1","datavalue":{"value":{"amount":"+0.8898368","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":"Q3740203$BBB9B0FC-5211-4F69-BA3A-CBFAB7961155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f959c7712c196883e995861185c429abdff17384","datavalue":{"value":{"entity-type":"item","numeric-id":4944851,"id":"Q4944851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eeb3a0f566f8189ac92b4d3c3b8d70b2e8d58c5","datavalue":{"value":{"amount":"+0.8856179","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":"Q3740203$A4E722B9-66EB-446C-A158-BC170287E3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcaefb3b70d25c064a9f1741c555ddcca94f1c78","datavalue":{"value":{"entity-type":"item","numeric-id":953533,"id":"Q953533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1b84ade16e0155bf3deead7c2c53c66ba85576","datavalue":{"value":{"amount":"+0.8827858","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":"Q3740203$D555ED75-9E56-476C-A23B-B20B17F66C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02aa0f661de7f63c92b071a83c80af65e56221ac","datavalue":{"value":{"entity-type":"item","numeric-id":4282807,"id":"Q4282807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22dc41af9d8ab49800c633a5a713a368ad5cb877","datavalue":{"value":{"amount":"+0.8825549","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":"Q3740203$B21FD2DA-1556-4C71-9893-64D29BC2C93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1783853632f9745006cbf567077c11a2f58c3648","datavalue":{"value":{"entity-type":"item","numeric-id":1097045,"id":"Q1097045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5425397b46e2ab247dffd8142cd913fa96aa5afe","datavalue":{"value":{"amount":"+0.88218343","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":"Q3740203$5822FB6B-B276-4F51-BD87-714459036DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6127029ec644153d6bf693e947c028683993b16","datavalue":{"value":{"entity-type":"item","numeric-id":4364521,"id":"Q4364521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972dc05e08facf2d521194398cfa17151f35f7cd","datavalue":{"value":{"amount":"+0.8813828","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":"Q3740203$BBBC17D8-E990-4EA6-8E56-7956E36A9A37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3740203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3740203"}}}}}