{"entities":{"Q1170876":{"pageid":1181625,"ns":120,"title":"Item:Q1170876","lastrevid":42926130,"modified":"2025-07-16T02:29:27Z","type":"item","id":"Q1170876","labels":{"en":{"language":"en","value":"Implementing specification freedoms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3784249"}},"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":"Q1170876$E22849B3-BB89-4DC8-9FA5-69835A7179F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c08127ea79fad0c70c8cf10f403838770ef7534","datavalue":{"value":{"text":"Implementing specification freedoms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1170876$E11D32BB-18C9-4689-B98B-841B42E4BCBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"196fec71bed6f569f57059eed950ef496b283c2e","datavalue":{"value":"0497.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170876$1B5B12A9-F73C-475E-9EBC-CCDE9CFF4299","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00597d50fc71de375a7e7e64b80721fe9ce8a256","datavalue":{"value":"10.1016/0167-6423(82)90010-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170876$E3CDC004-640C-4010-A1FF-F4CA0B0CBB9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8cf9bd718e24fbfe1377fcd1e4f60b511da49fd","datavalue":{"value":{"entity-type":"item","numeric-id":1170875,"id":"Q1170875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170876$0A7D30AB-860C-464F-B84D-796590EA28A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91e531848852f30e9a7c97c533b94770d81a5935","datavalue":{"value":{"entity-type":"item","numeric-id":185911,"id":"Q185911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170876$5EC7A0BB-DC14-49B9-B71A-C9950919FABE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170876$B12DBA5B-57BA-42B5-ACB9-8D4AF0A00DAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1170876$F1F025BB-0E71-41D6-A1F7-7156301EB9A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170876$8724184B-7E4D-4C29-B9B9-277421F63BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170876$D1102B44-37A8-4C8A-A091-2CF6C87A0080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170876$FD546293-CFBE-4BF2-96A3-8EB61225A636","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb94616129c8bfca1f8f781b6b0c7b04d92071f5","datavalue":{"value":"3784249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170876$972FD70E-6317-4D1B-BBCE-6BF4D4A2ABC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1170876$091B977E-1F8C-491F-8BC9-378352330EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f7dec6a3b2913c9852209bec252e5b716c73b9","datavalue":{"value":"reliable software","type":"string"},"datatype":"string"},"type":"statement","id":"Q1170876$39BDB765-9225-4CBC-B087-A3605ABC2EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4bae2cc19c611fe55d8df7ae5ff31f220232d8","datavalue":{"value":"constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1170876$F33A9EF7-79EB-4327-B3E3-6B9C1A0B946F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1170876$27357E92-0B14-4F3E-BF1C-3C925143FE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0b153f310aef57e6d58e512aaada6cb8318594","datavalue":{"value":"high-level specification constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1170876$915A2239-6672-499A-8646-F3F44F8D433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc7b655d0aa48fe9211fda0eebbf2f4c234d0a3","datavalue":{"value":"correctness-preserving transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1170876$AA2C39B8-9AA4-46E1-876D-508315544673","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":"Q1170876$4A46116B-7635-4091-86E6-E14EEFDE2531","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db540f4e08506452420fba253640239bb843d340","datavalue":{"value":"https://doi.org/10.1016/0167-6423(82)90010-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1170876$C845AE9F-8347-48B3-B3D3-5BB207FB6910","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72af020a533ade3bd597ca190d20f4552d1e1fa3","datavalue":{"value":"W1492953877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170876$7FD73936-1372-49E5-9E54-99662D4A3031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1170876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1170876"}}}}}