{"entities":{"Q5030195":{"pageid":7059772,"ns":120,"title":"Item:Q5030195","lastrevid":54225563,"modified":"2026-01-26T12:16:14Z","type":"item","id":"Q5030195","labels":{"en":{"language":"en","value":"Inferring program specifications in polynomial-time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474233"}},"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":"Q5030195$A6661F44-8995-43BC-B5DE-2318F65DBB46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fecfdec3a940aea54b5683a9a37e8ea302980008","datavalue":{"value":{"text":"Inferring program specifications in polynomial-time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030195$209F6B3A-4E57-49D1-9ED2-28BC429A529F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df293405e32a049efc8308d57fec2402ba71ec49","datavalue":{"value":"1482.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030195$613019B5-CA59-4FD9-95F0-2F1280C9FD0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6775448d0d83eabc9f204044b183c535e8d22e6","datavalue":{"value":"10.1007/3-540-61739-6_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030195$E310FA95-8B73-450D-8567-1E2B62B71894","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030195$9EE1A496-6CF6-418A-8A8D-B8B3DD0BB187","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030195$8B1D78A1-A1FD-473D-A406-894BE0F81FF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030195$5C26AED7-54CE-413E-A255-2C21CDEC2697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030195$8B763E9C-FFC7-460A-B678-34CFBC846338","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6a6fa77c82d39365e8022345bdc7e20258d23fd","datavalue":{"value":"7474233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030195$821D776B-34CA-48FE-8C0C-3BA862A67D1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030195$79BA3FE3-38A4-4FF4-BFD9-3568227A1AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030195$A8E69BFE-3AE9-4F2E-8B0E-39950F176133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030195$5DC3684C-C6DF-4CE6-B157-DB7E277424F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030195$20669918-36BF-406E-B1B3-4B22E2DBF854","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f84c1abdc6f71bf3212024a04a41bd93ede90bf","datavalue":{"value":{"entity-type":"item","numeric-id":1610710,"id":"Q1610710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030195$B97DCC06-9113-49AD-B12A-852FACE92557","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":"Q5030195$D2AB5E4F-D8CE-4311-9114-5E1BEDA09252","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5556b43e0351b727fbaf3c620ae4af707773c8b0","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030195$28A4895D-2431-4986-96C1-0CC441B9F717","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1dc15e95cec0e8bbab2572711785173e6a17b70","datavalue":{"value":"W1583988319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030195$2C8AD12A-7307-4657-A006-AECF61B62D6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030195$3D1C853A-75EB-4BF1-8AC7-82A57163BF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030195$60C96282-9429-467F-A08E-CF369B9A5D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030195$72156CF8-DCB2-4D2B-A347-2F7ACA3DF4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3428ad86fd83418297e63e991e72d98f9f753dfc","datavalue":{"value":{"entity-type":"item","numeric-id":5286163,"id":"Q5286163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030195$8A643515-042E-449E-82D2-AE936FC48847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa68c401db98c6bb8f8475611808c1f84043108","datavalue":{"value":{"entity-type":"item","numeric-id":4647554,"id":"Q4647554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030195$AB123C2B-46AB-490C-86D5-0A7F81E9107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030195$47A59BF2-2ABE-43AC-A213-4CB11A6D2FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a1d4b32d7ff7775973a19e6fd57a6d4bf6baa7","datavalue":{"value":{"entity-type":"item","numeric-id":1818009,"id":"Q1818009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030195$661D49A9-4277-4470-8FA6-9627BB721189","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eea353e0db3c4a9c6271e40563adb65a914c93","datavalue":{"value":{"entity-type":"item","numeric-id":2736357,"id":"Q2736357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfd7a02646c261329c7d8058fc3ede301c9e711","datavalue":{"value":{"amount":"+0.7510234713554382","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":"Q5030195$DF8500D5-984D-4ED9-BAC3-C19CA54D9CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d196d3de876816ff9ed4350cfd9edb0990ef62","datavalue":{"value":{"amount":"+0.7492073178291321","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":"Q5030195$6F100634-5272-41C2-8249-99C508D8A25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2ba2994fd898d0503228ae266ad48276f24e1d","datavalue":{"value":{"entity-type":"item","numeric-id":5897427,"id":"Q5897427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96facffed4b17675560fe32bd309afea4277efb3","datavalue":{"value":{"amount":"+0.7472208142280579","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":"Q5030195$FA8EE648-D102-41FC-9653-20C9C334791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84b3720b428a5fa7cfbdf0f49438b0e3810186b","datavalue":{"value":{"entity-type":"item","numeric-id":4447250,"id":"Q4447250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac83226cad30e2b02a0a33222c86eb9230f88e1d","datavalue":{"value":{"amount":"+0.7456607222557068","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":"Q5030195$A0F68AFD-FDCA-45EE-9538-1042607B62CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412828f35f04ed447f7b7be24fad5f0987f1c0d9","datavalue":{"value":{"entity-type":"item","numeric-id":3617436,"id":"Q3617436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74143989993c78020a656e1643f1a9ea41c7d58","datavalue":{"value":{"amount":"+0.745520293712616","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":"Q5030195$B81BBB4E-A9EB-4473-A5DA-FD8C2831AB1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030195"}}}}}