{"entities":{"Q3026329":{"pageid":3037045,"ns":120,"title":"Item:Q3026329","lastrevid":45280225,"modified":"2025-12-04T04:46:09Z","type":"item","id":"Q3026329","labels":{"en":{"language":"en","value":"Synthesizing implementations of abstract data types from axiomatic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014013"}},"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":"Q3026329$0B131DC6-3A28-4334-990A-6420CEF083B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a25e79e681c75100a3a7de570308ca2ab7d3ead","datavalue":{"value":{"text":"Synthesizing implementations of abstract data types from axiomatic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3026329$F850DDB0-C89F-4EB5-88BA-06164A72347E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"378fc4c0397e33c49b7133800f58200052eb95be","datavalue":{"value":"0624.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026329$8166DBC2-8EFA-4031-884F-8B023209E7FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f5bc23660067e99067ad0c896dd9651b559706a","datavalue":{"value":{"entity-type":"item","numeric-id":931074,"id":"Q931074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026329$C2F8AD34-C2AE-4552-8172-90A15D9061CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6bbb50f7f5b3cd8a52a9219fdf89800968ce21d0","datavalue":{"value":{"entity-type":"item","numeric-id":111603,"id":"Q111603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026329$35D1AEF6-4893-429B-9A1C-7099F695E16B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3026329$472DCBF8-5CDF-4708-B98B-E7EA087B4081","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026329$CABFE5AC-16B6-484D-8AD3-EDEFF2DCC252","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf86e8a396a199938be794a3dfae83fd1ec6c5e3","datavalue":{"value":"4014013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026329$7B26D992-1C7A-4A7D-A64F-317037EAACCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f35984d75f96b8273ee58ad427140a23f29b8c","datavalue":{"value":"C","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026329$F9D09951-E295-4266-8D9A-2CD943848D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6451784f08b787e27e1a1491dac18968ec2940c5","datavalue":{"value":"direct implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026329$8C9CF74E-74B7-44F6-B1B1-2E73D935DCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbb39f32f9e7a44d4cccd5aacf5073138d5f3659","datavalue":{"value":"rapid prototyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026329$9684FC9F-BC1B-44C3-A9E2-DA40FB360BFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026329$04C28199-6FE6-4F21-8C76-3B144E31B2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5de41cb066f6315975ff165b5ea0132d3a43d75","datavalue":{"value":{"entity-type":"item","numeric-id":33141,"id":"Q33141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026329$BC9717ED-5372-44FC-AFCB-F76DA727B5AA","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":"Q3026329$6951C02D-4223-4C24-8C86-581B65271CA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b2e6eb3bc062cb6106a7072b607d968c6ef7db8","datavalue":{"value":"https://doi.org/10.1002/spe.4380171106","type":"string"},"datatype":"url"},"type":"statement","id":"Q3026329$18B61BA8-447A-488A-931E-477095DC2189","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8092e20b995768dda0d55aa117dc75f05b6336b","datavalue":{"value":"W2048872634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026329$1466F61C-B63D-4B94-A722-0177959B0907","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026329$6C66D0FF-668C-4C31-B967-B99AB6DFF973","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c22001c482ebcb69d25785da45436442d197ae1","datavalue":{"value":"10.1002/SPE.4380171106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026329$7367E38E-8BC9-467B-ADAE-4099A0B0A5CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3026329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3026329"}}}}}