{"entities":{"Q3718146":{"pageid":5748052,"ns":120,"title":"Item:Q3718146","lastrevid":50681360,"modified":"2026-01-14T19:10:45Z","type":"item","id":"Q3718146","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3947617"}},"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":"Q3718146$17753337-63DC-443C-BD56-5A38CF164BE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3875c0a51398b94d1012e6ba44d00cb3311b5d4a","datavalue":{"value":"0589.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718146$53F59DF6-C754-4721-9255-9B4CC9C6CBC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3718146$071EA47C-D276-45B3-9E6B-E35BC129B6BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718146$B3273A16-EC10-454E-8836-E6E4B9FFC4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718146$6488B146-44FD-4F03-B387-CA4D8651EBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718146$6720A9AC-FD1A-41E8-8BA5-74FF73EB4ECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b26cbe182c42f140f23b6fae56c6123b1f386d0","datavalue":{"value":"3947617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718146$F97724D1-03B1-4930-9665-9432A14C1C80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd34fcfac307b527403e0312b2f60c57c163ef2","datavalue":{"value":"programming system PRIZ","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718146$963AB4AC-3743-47EF-AAE9-6356E3A78E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08531e264024522334a0210f6c03a3cff7dffcd2","datavalue":{"value":"automatic synthesis of programs from specifications described by","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718146$52033A9B-AC92-4400-8E01-4029FE43C980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd624c13555b9ad8802547c9dcd4f7ef3bbabee6","datavalue":{"value":"propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718146$9A3FB88F-03C4-48B3-8D2E-9C7963FD11CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718146$FAEF4B25-98CD-4E24-B433-FC72386D36F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df9cbcf4deadbdb97e339a69bf8dfdd2dbd835e8","datavalue":{"value":"automatic synthesis of programs from specifications described by propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718146$8448F55C-5E42-4AF3-B52C-8F980FA0B3D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718146$97E9EB07-B8AE-4B5D-829F-040D31333D7F","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":"Q3718146$FD56F3E8-9D35-4A11-B65B-06A5D81B2CD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b1838745b94e0a4f2c3ed4dc83f7576f955387","datavalue":{"value":{"entity-type":"item","numeric-id":1104778,"id":"Q1104778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c0d57ad22e486f8e4bf82282ab5e1229e80add","datavalue":{"value":{"amount":"+0.8242138028144836","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":"Q3718146$FAE3AB7D-9568-481C-A98E-5E1DC68466EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f861cbedf8bf8d08d317f20fab6227edb3c199","datavalue":{"value":{"entity-type":"item","numeric-id":4560348,"id":"Q4560348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926805062c5e1a5c719957b04264f0f29d70d055","datavalue":{"value":{"amount":"+0.8242136836051941","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":"Q3718146$9B764B05-09CF-47EC-96D0-1E0B55833836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e9ed423d54a67a0a0a32fd37ce43ad338cf2d5","datavalue":{"value":{"entity-type":"item","numeric-id":3316619,"id":"Q3316619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c41938c03acdebab22c9587beb7f46fcf2fbf5","datavalue":{"value":{"amount":"+0.7624366879463196","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":"Q3718146$7ACCB191-E199-44FE-9BCF-C659C872D7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb91f361bb96588746d6304c4a6c8ebd8250e0f1","datavalue":{"value":{"entity-type":"item","numeric-id":5930819,"id":"Q5930819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913ab6fef57fb867880295009254330c55e5f1c0","datavalue":{"value":{"amount":"+0.7577336430549622","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":"Q3718146$5EF5DD5B-3924-4486-AC6E-F17C22D5F232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003e1b828cba2f17bbd1982673e086ad8f3b6c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3706480,"id":"Q3706480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c57eed4398e2768dd1dc936248a14b863404f3","datavalue":{"value":{"amount":"+0.7414836287498474","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":"Q3718146$DCC7EAF7-0BBB-4BE8-9EA4-529588F435BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3718146","badges":[]}}}}}