{"entities":{"Q3783281":{"pageid":5813187,"ns":120,"title":"Item:Q3783281","lastrevid":52548608,"modified":"2026-01-22T22:45:02Z","type":"item","id":"Q3783281","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045728"}},"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":"Q3783281$3687E191-9149-444D-AEB4-3C1460C46A26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5b5ddab0ac8ee7ec221a919b12c4577f39a640f","datavalue":{"value":"0642.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783281$B65465C0-A177-4588-8ABA-8A2A900C5E2D","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":"Q3783281$C29FBA3C-89D9-4226-9E3E-4EFD1C851C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783281$B1834569-CFC2-474F-A104-6EE227448E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783281$31C34999-D036-4CC0-9F12-94C4A5E21F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783281$ED27BBAB-0FAE-42DC-8D70-4BBE276EE1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783281$056978BA-36D0-4C3A-825C-B1EE8738DB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783281$8785C4D1-3D11-44C5-903A-FEDA433365C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92e36943d044308ac1b0772a126fdf06990e17aa","datavalue":{"value":"4045728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783281$09686E5B-3905-4947-8D97-D3BEE86D4CA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4788592a5c4be619db08f2a6446bfc4c2b18ee88","datavalue":{"value":"specification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783281$62A95055-1ED0-4613-9130-1652B77A2371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c41f58f4c6a043653654345bd5fd2140de2222","datavalue":{"value":"admissible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783281$65C55390-E376-4903-94AD-2DBD73C765E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127e99101346f161c4fff82e677e132051b66ab6","datavalue":{"value":"Sigma-expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783281$89470376-0B7B-4F59-B599-1074B5874DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7986ff408f2befc6765bacecfb6e2cc3ee04584d","datavalue":{"value":"formal method for proving properties of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783281$E8CB693F-4720-4D5D-9BB1-B9280718E79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55aa0e237de18e6bcee82f3cf9b810e4517ae7cc","datavalue":{"value":"recursively enumerable sets over a constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783281$4108BCC3-86E0-42EC-9753-3356EDE137BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a46d9f66aa8ebff8fa9e435fbff9c6740e59ec2b","datavalue":{"value":"programming operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783281$A4FFAACB-FFD1-4126-9731-D4183F9B7107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783281$D5CB6EE8-2716-4499-820F-7FF8EDFD739C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783281$86E7DABA-468D-4B0E-97E0-34CB79A98F4D","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":"Q3783281$B7D4EFAE-883B-49A9-8E59-29882DEB3568","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad03032ea0779122057d7d5ee0dbb40bf67672b","datavalue":{"value":{"entity-type":"item","numeric-id":3783282,"id":"Q3783282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a374c7175c8f52e54f0dab5ddab059c2202079","datavalue":{"value":{"amount":"+0.7882615923881531","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":"Q3783281$66AF56FA-803B-4E5E-908B-E16A8E06294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f4af303b2fd4761c19aac04fd7c7c2ce704130","datavalue":{"value":{"entity-type":"item","numeric-id":3764131,"id":"Q3764131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5b91b536ab20096967e728945dde28c6f1ff62","datavalue":{"value":{"amount":"+0.778541624546051","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":"Q3783281$6468B16C-BB35-4DE1-A077-0A33879A5395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4956237c2292ae4e1d018e0de297f0c3ebe3c03","datavalue":{"value":{"entity-type":"item","numeric-id":3830542,"id":"Q3830542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64437497120512500b994e00454385a05a3a0c91","datavalue":{"value":{"amount":"+0.7523950934410095","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":"Q3783281$404BEEC6-4D11-4D8C-A610-C72F12E1960C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16547f2aaf339343e11f4e5c165818530f13bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":3745249,"id":"Q3745249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af0b1034b51a8c98533befc4bd5e9475e954702","datavalue":{"value":{"amount":"+0.7521641254425049","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":"Q3783281$283576C5-E7B0-40F3-A1B1-75AAC15B7AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acda0d960504041ff2327085546ebd4b746f00d9","datavalue":{"value":{"entity-type":"item","numeric-id":3819964,"id":"Q3819964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01795c86bf133aea713844bf1ae1892505b4fa16","datavalue":{"value":{"amount":"+0.7500444650650024","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":"Q3783281$9A2544B5-6A6D-4A20-AEE0-6526EA59EA2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783281"}}}}}