{"entities":{"Q3075488":{"pageid":3086204,"ns":120,"title":"Item:Q3075488","lastrevid":45388876,"modified":"2025-12-06T21:18:19Z","type":"item","id":"Q3075488","labels":{"en":{"language":"en","value":"Towards Complete Reasoning about Axiomatic Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851857"}},"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":"Q3075488$DD951433-0677-4E9E-846F-C2257DBF525A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb3d7f9a23707428b5f0e142df68528372612615","datavalue":{"value":{"text":"Towards Complete Reasoning about Axiomatic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075488$E318EF7E-1F83-4143-9DD5-2446C9445693","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0bb46205105a70d4c743c8facbaae0b4df4600a","datavalue":{"value":"1317.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075488$6082A2E0-58B4-403A-8470-A2A9FC8A8A7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30a49d04c8eedb1a8f02bba0e7f1cd60824e529e","datavalue":{"value":"10.1007/978-3-642-18275-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075488$EAF329B8-49C7-4244-B176-023FECE9E758","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$262F5068-F994-4741-9AA2-38561C5B70E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$FE8ED5BD-06E0-4DCB-98AF-EA69B8C7C3BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$2A9497E4-2089-47F2-91EA-90EF4A073422","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075488$4AA32156-C599-4E87-ABA9-DB0C31C9965B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075488$0FB5C752-DF2D-4541-A2C8-42F2B0D07731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075488$C0B528A8-A9CA-4F56-98E3-F0D69EAF3B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075488$2EC7672B-52AA-4A3B-963B-F3D150AEF8CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28e7161c34afc1577c21f90188bb058a67df29e3","datavalue":{"value":"5851857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075488$CF488D2C-6108-4637-9CB9-203C63920235","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$48F0574C-DADA-4B5E-87C6-F56ED8782223","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":"Q3075488$D388DC53-0C7C-4D8A-BBC1-8CC387910A7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1c3f5ee7b01f9276fe4263af2116a3d1f90491e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18275-4_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075488$BE859ECA-D31F-4CBA-BA1D-15A5AC1F1218","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc576d45ee6a9203c66771f5ad2302ab230b9576","datavalue":{"value":"W3136909257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075488$87FE5F90-28E2-4369-AC96-19D42EB1DF37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$3C7CDF3C-9A5E-48E1-B241-D9113E341CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$1C4368D2-D73F-4355-9BC1-E36D1D697ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaaccfbedb3cd88fc80e0faeb16f71f2c3e7630","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$DD5A4D98-BE67-4B56-926F-B0BB815ECC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90861bcc2688e035a57d049fc3e4439be380eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3636873,"id":"Q3636873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$996A783B-1694-4C6D-9270-68DB01D50D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620e4e63cec9d7a183b3bc9b7082cb1e2f14d371","datavalue":{"value":{"entity-type":"item","numeric-id":3075488,"id":"Q3075488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$7A98E8F3-3AAF-4C23-866B-2CDEFDF39B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8571cfb6c41c9203dbca31502594520874a2ee1","datavalue":{"value":{"entity-type":"item","numeric-id":2864523,"id":"Q2864523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$1DFDE5C2-54BA-441A-A3AA-1423D3C47C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374029bef706a4a7bb34ae1f43e9772d20725164","datavalue":{"value":{"entity-type":"item","numeric-id":5711506,"id":"Q5711506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$315A0672-9D16-47E2-A326-F66CCD4667C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$504721A7-954B-4782-A5B8-B5ECB8ADF5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471db0983b0adc861100e91b592763bea7bdd49d","datavalue":{"value":{"entity-type":"item","numeric-id":5255078,"id":"Q5255078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$83BD2658-12F6-4334-973A-B6F979815383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$D325EDA6-2DE6-4E81-97E3-DE3F72109E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041f425d2424dea3c24ef7c01081663e6200bc4b","datavalue":{"value":{"entity-type":"item","numeric-id":5191097,"id":"Q5191097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$1DF99F3A-5C75-4345-8318-BADA99EC3C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6405880c070588ef96205dbcc63ba1fa577e219e","datavalue":{"value":{"entity-type":"item","numeric-id":5446292,"id":"Q5446292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$742FE1D7-F872-44AA-B104-A9C3F51A194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0896ea051424571856b7af2d59c1ac59a09686","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$36F12D7D-01A8-48F2-8C9A-CCB1353FCF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175b398753b6478b140249590f4df7dba5367c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5898616,"id":"Q5898616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$03D30FDF-E593-4BC0-A4AF-BC3F5970D14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9449c19c7b5c1f51949e3ece7e9c1d43e3d4ef1d","datavalue":{"value":{"entity-type":"item","numeric-id":5307055,"id":"Q5307055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075488$92A2B823-A5AC-4479-BBB8-0542C7BD8143","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777aea66c0bc60847d3e440db0b7faa27985a24c","datavalue":{"value":{"entity-type":"item","numeric-id":3709888,"id":"Q3709888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5437fa2517ed38c2d688c1cb4e283160014ce5","datavalue":{"value":{"amount":"+0.93646926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075488$6FCA43C9-07A2-45E5-BADA-757BBAEA5228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4846ec2a89e0a28a5cea420794037c50740455e6","datavalue":{"value":{"entity-type":"item","numeric-id":428861,"id":"Q428861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c938939aea482071417b917064825eb37bd640b7","datavalue":{"value":{"amount":"+0.9037883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075488$E1EEF0EB-8D80-4A56-B395-7DF1CA0B64E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959a8900656fec605fabd7641dba9d8d8c4a2bf0","datavalue":{"value":{"entity-type":"item","numeric-id":5703846,"id":"Q5703846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee9b54d9952f657c53c1eb8ecb57a1217108877","datavalue":{"value":{"amount":"+0.89683795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075488$D7BAB4BC-7629-4CAC-B8EB-A5E8E84135EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f15d30124b9f38158435849219a067400d41d2","datavalue":{"value":{"entity-type":"item","numeric-id":3347272,"id":"Q3347272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90e6ae85353de0968e67004e8bbe53970b7efd0","datavalue":{"value":{"amount":"+0.8932722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075488$BB7B7143-4323-4DB7-BE6F-A7E18728471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07715cf830ed83234de3f7deb847acc8fb7b17f","datavalue":{"value":{"entity-type":"item","numeric-id":3347269,"id":"Q3347269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a26dcf924034839b6638ebb982ecfe2c7c2b62","datavalue":{"value":{"amount":"+0.8924095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075488$08405D39-0652-4864-86DC-293180C3D039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7603d926518cecb77851d2b638bb20932dad4128","datavalue":{"value":{"entity-type":"item","numeric-id":3125892,"id":"Q3125892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a1ff92f7729ba83b63662cc82b228923074542","datavalue":{"value":{"amount":"+0.89179003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075488$0C33C4C2-CB74-4FEB-90EA-67DE1790641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d776251971de9cedf12bb5788f6450a62a83e18","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8264cbd737ee675803403bfd789ebbb15aee4de0","datavalue":{"value":{"amount":"+0.8895575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075488$0056D886-5341-47BB-BE1D-A2A56AC97B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b676f0f263454034175e078f153762fb9cf49ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3345752,"id":"Q3345752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59b2a731827f3d5c249ee8d0d1a1636878de3c2","datavalue":{"value":{"amount":"+0.8887392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075488$F5A817C4-80A2-4DCB-BB9D-1D41A005B199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c79ad8da2db58eaf57b2d8347d17a4dbb0b7514","datavalue":{"value":{"entity-type":"item","numeric-id":1819574,"id":"Q1819574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd116bfde9415af6b3de8dd391c8eff953ada0f3","datavalue":{"value":{"amount":"+0.88800305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075488$813BD78F-BF0F-4F7C-AED5-FBEDD003385A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075488"}}}}}