{"entities":{"Q3327747":{"pageid":3338455,"ns":120,"title":"Item:Q3327747","lastrevid":80280728,"modified":"2026-05-06T15:50:07Z","type":"item","id":"Q3327747","labels":{"en":{"language":"en","value":"Specification methods and partial construction of theory by computer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3860435"}},"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":"Q3327747$DBBC1B5F-F4DA-421D-91A9-B5F1832CADDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6402ad41f19e2c9b7a158c96832c6500c795a8a","datavalue":{"value":{"text":"Specification methods and partial construction of theory by computer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3327747$AFC7E844-694C-4176-87B9-75AB35940322","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3858b5871698f3974815558b1a6414006e3797f","datavalue":{"value":"0541.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327747$B70E67FD-AEC4-427A-943C-CA0A07C1C3E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16338dc64ea23c6264c8b5f4289f4f0a5962d4f0","datavalue":{"value":"10.1007/BF01069168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327747$63AD4F30-E9D3-4CBD-93A4-7BC8F636247A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f5e05fc5162355cd2e06773b462a5c28f32c630","datavalue":{"value":{"entity-type":"item","numeric-id":446184,"id":"Q446184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327747$86691241-F0A4-49C9-AE50-D3BDE5500D4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327747$F2D8A147-45E0-47EA-8C33-B3A0EED9C459","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3327747$7DF28D79-09C7-41BD-A86D-4CCAA3FE3A67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327747$42630DEF-B1DB-4C3B-B6A7-8D340DC8AC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327747$FBB33CD9-20C5-4557-B2A2-A2F2649A6FE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c2e330fc4ef7f869f7126f3b4f8beb36cbc3a72","datavalue":{"value":"3860435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327747$29C402FB-F694-4593-9E5E-8BF6A3E90FA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1b90818e296c8838bf001ea6338bd3d57b132ce","datavalue":{"value":"normal formula transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327747$D07F7603-3B1A-4BE8-88AD-985269BAA2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd17959f8195369e11378932b20996e0730b32c","datavalue":{"value":"syntactic transformation rules for formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327747$F8FB406B-4020-4A95-8FD9-F889D4AD381B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8d5d2e5e805ec744a84313b08835d3495ded9a","datavalue":{"value":"restricted predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327747$F717C86D-3216-48A0-8947-FFC2A8DEC9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e347ebcca14cde3ff1afaca316b328ec0971827","datavalue":{"value":"life book programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327747$62155825-E49A-45C0-A628-3DDF54EB1F80","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":"Q3327747$D610F83D-E0AC-4294-B37E-ADF3A4827D8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc65337b9073787c4e2d6b54fdee87b396d178d","datavalue":{"value":{"entity-type":"item","numeric-id":3872430,"id":"Q3872430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327747$7E19BC0A-18D2-4CD1-AA55-6A78FBC2DFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13e861216dffa98af4b697b1dfac9157d7d3662","datavalue":{"value":{"entity-type":"item","numeric-id":5616170,"id":"Q5616170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327747$9B484698-BA42-4C19-9320-70724D84899C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327747$E8E464F6-897C-441F-8532-994D75F4BFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1b079c7d185126ec0a687c39691da56b5aff96","datavalue":{"value":{"entity-type":"item","numeric-id":1253108,"id":"Q1253108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327747$3CE25582-032F-4257-811A-9E2DBF548D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccba0bbd9daf5d687a63a4dadd7212bd0602fccb","datavalue":{"value":{"entity-type":"item","numeric-id":1245007,"id":"Q1245007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327747$93D4BF0A-87E0-4A4A-ACB3-2D43C76633F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d65574737b5fba9622aef83daaac1e40af0537db","datavalue":{"value":"https://doi.org/10.1007/bf01069168","type":"string"},"datatype":"url"},"type":"statement","id":"Q3327747$670974FF-5E8D-4950-8623-379EC13A458B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"710953191de60f2b077fcf7332d1f951c47d0a63","datavalue":{"value":"W2094967240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327747$8D59C7D9-6DC6-4AF6-ACD4-8D6EBB6E2225","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb88062a99cb866c7495d7f9fb0f7f55ec60a5a9","datavalue":{"value":{"amount":"+0.7695947885513306","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":"Q3327747$38E84823-735D-47BF-872B-4F9CFB800E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a39a2cb9e8db094cb4da26da228b833592e4016","datavalue":{"value":{"entity-type":"item","numeric-id":796289,"id":"Q796289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4716f2a462b37619392041fadaf8659eab1e0986","datavalue":{"value":{"amount":"+0.7677482962608337","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":"Q3327747$056ED49E-9620-41B8-BBA7-8587F14A890D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e028258ea4aa896a0df4c2c907ab74d42539d5","datavalue":{"value":{"entity-type":"item","numeric-id":3411230,"id":"Q3411230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b207c7b83b04513bdc3ac13bc16fe4b7919b7f6","datavalue":{"value":{"amount":"+0.7675772905349731","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":"Q3327747$8B4FE8FB-36AA-488A-97B3-31A90F76F8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3562f99303fb8e5d31da968bb8f21c68ff7840b","datavalue":{"value":{"entity-type":"item","numeric-id":3677198,"id":"Q3677198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d099a9c38e86a6f192d98abe86a8d78a528a482","datavalue":{"value":{"amount":"+0.7630186676979065","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":"Q3327747$18686D32-2430-4E63-BB35-E3BBC73C935A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b4648096244d97855d2751bd98de8192b299ae","datavalue":{"value":{"entity-type":"item","numeric-id":1181864,"id":"Q1181864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7753272cf5fe5e12c1a48dcaede3f00b85f7e99c","datavalue":{"value":{"amount":"+0.7572339177131653","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":"Q3327747$79F9F782-43ED-4BB7-8A3B-E8CBF7236DA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification methods and partial construction of theory by computer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_methods_and_partial_construction_of_theory_by_computer"}}}}}