{"entities":{"Q2851050":{"pageid":2861770,"ns":120,"title":"Item:Q2851050","lastrevid":42269865,"modified":"2025-06-04T00:06:44Z","type":"item","id":"Q2851050","labels":{"en":{"language":"en","value":"Tiling transactions in rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213292"}},"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":"Q2851050$745C4D02-B814-4703-A7EB-63ED360A7ACC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25c5ebf98106a5af65b340938fb05661d91848b6","datavalue":{"value":"1272.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851050$757259B7-6A03-4EB9-87AB-2C8175869FED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29004be5eb03a1c906f7f72116a0404010c1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":860880,"id":"Q860880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$A425DBF3-5FA5-4F22-9C48-3EE4793E6098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$C1C7EE85-F72D-44C8-8F7F-B34E90B1D271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$71A2A826-78AC-4874-B5CD-AA29FBB6E115","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851050$FF3A770B-4A8C-4DA0-9202-690DA78F9599","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68adc1848dfadad10bdc4942c07693050d745b74","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105825307","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851050$CBEC5A77-B9E5-4460-A242-9BC5982249B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851050$60C86B03-A7A0-41CB-B4E3-7C9FCFAF25C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851050$66A89397-416B-4983-9142-88978AF6D71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851050$ECBE0925-4FE7-44C9-A24E-DFDD15A0C151","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4daa58b7f6f4740d0a0bae1b5c1a64c84167cb3a","datavalue":{"value":"6213292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851050$4041A06C-2352-4316-9303-75D010F91EED","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":"Q2851050$69F52461-CA44-4C3C-94BE-534DC32F611F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$D2F8FB84-61DA-46E7-874E-5D4048F4FA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c216b8e7eb4a4432626fe4e8725f8c1f7a2eab","datavalue":{"value":{"entity-type":"item","numeric-id":4484496,"id":"Q4484496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$8E351F82-D00F-4866-B2E9-AE8A0BCF0887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d652a339b0c2588734285ddb387db1e6fff3ea07","datavalue":{"value":{"entity-type":"item","numeric-id":4222985,"id":"Q4222985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$D251F5B7-4204-49E7-AE40-25E1BDAEA82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71bbe7e2bb55712dab5fb5741abacc4e5fd0b93","datavalue":{"value":{"entity-type":"item","numeric-id":1854323,"id":"Q1854323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$0A169FC3-B231-412A-9BD3-8F5A27042676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a2206cb30f0e10bcec9269e3f48872fbda38eb","datavalue":{"value":{"entity-type":"item","numeric-id":1603689,"id":"Q1603689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$6144D049-2BD5-4C11-B738-C895F318C825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf958679cc5d1d0aefbb9c7f05aeac8b7ffeba6","datavalue":{"value":{"entity-type":"item","numeric-id":4452646,"id":"Q4452646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$33CADCA7-D902-40F9-BB3D-47142E6A810D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbfc9aa67e4df9689fff4662ef3419e7df3194a","datavalue":{"value":{"entity-type":"item","numeric-id":4222856,"id":"Q4222856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$919A2EB2-2DFD-422F-BE16-9680BFDA6873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960d453683ed4d0de7a8f12995e1700dba4ac192","datavalue":{"value":{"entity-type":"item","numeric-id":5335344,"id":"Q5335344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$B6818067-2964-4B6B-83EC-590863B008EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$BA52A648-A316-4A9F-9692-ABB622399C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$DAE73DC7-7308-42A4-B144-0C1461B7D4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$D4D4151E-56A1-4024-885A-A2A6CB0D8558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a0b1fd73d98d1a4f659b07c8dcccafc3dde8156","datavalue":{"value":{"entity-type":"item","numeric-id":3839052,"id":"Q3839052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$70228B89-1A26-47D8-921D-0CD3E71E63B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0992a9732d4c0a6122dab597921488e8c283dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4421726,"id":"Q4421726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$B81A00F2-2605-4F56-90DE-0B6352779EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57447cc362fdd18bbd3f1efe7dc487b19f951b10","datavalue":{"value":{"entity-type":"item","numeric-id":1346409,"id":"Q1346409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$3AAD28AD-912D-4C8D-8339-578CD96A8D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c09bc300ef8432af8f61322c2d314f6b6240b0","datavalue":{"value":{"entity-type":"item","numeric-id":4893208,"id":"Q4893208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851050$CCF9DACC-04AA-423C-88A6-FE4711C8A3D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27152e5d5ff809c82f1915845e74eb99b5d731b1","datavalue":{"value":{"entity-type":"item","numeric-id":3839052,"id":"Q3839052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a66f280931e53944623f7dd88c093ed70ab698","datavalue":{"value":{"amount":"+0.87476116","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":"Q2851050$A657528B-8968-4C78-BAF9-E997716ADA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc76a4b8ec9611b51745be43908a7efba2e59bf","datavalue":{"value":{"entity-type":"item","numeric-id":1608920,"id":"Q1608920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d66b89a2f063837bbd3fce71332e0031ae3aae5","datavalue":{"value":{"amount":"+0.8713677","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":"Q2851050$AE92297B-2ADA-44A9-BACC-3F38378B1288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06b8c9620904c1bb0d28e09be24842657f0b311","datavalue":{"value":{"entity-type":"item","numeric-id":3535602,"id":"Q3535602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d773d34f2be173453052dd81f16e705572fd113f","datavalue":{"value":{"amount":"+0.86156714","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":"Q2851050$AF0A09B0-270B-450D-AB7D-F5E9C47A918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3705e7e980c84ef5f5c7b90c232ae76bf01d3571","datavalue":{"value":{"entity-type":"item","numeric-id":4452063,"id":"Q4452063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66db6ac049f43d52c584f697a1dd39f5ce447a8","datavalue":{"value":{"amount":"+0.8451081","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":"Q2851050$92284E36-D0B1-44C9-B0B8-F1535F40CFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653f7087a47b8179f70e2086d5862158b755ec1a","datavalue":{"value":{"entity-type":"item","numeric-id":4955331,"id":"Q4955331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672828068369834ba4061df69c587a1cab1e8817","datavalue":{"value":{"amount":"+0.8439722","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":"Q2851050$782C37AB-E0E9-4891-9E7F-C289B5414A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6785ac266ed0add6c1374227c6ebeba4309feea8","datavalue":{"value":{"entity-type":"item","numeric-id":4934317,"id":"Q4934317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6af2d09c117fefda7b904043b026f0663941f8e","datavalue":{"value":{"amount":"+0.840475","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":"Q2851050$A373DF3A-97D8-4051-BE13-A35701021F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb30245ef53de15089915b830c9757450bf52b0","datavalue":{"value":{"entity-type":"item","numeric-id":2909156,"id":"Q2909156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a773f4043cdccffae399ef937fa3437a93715710","datavalue":{"value":{"amount":"+0.84045386","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":"Q2851050$BC477687-A4C6-4381-AE19-C7DCD9D98849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78445fd150f18c284ab76803c84b03d06f5a8598","datavalue":{"value":{"entity-type":"item","numeric-id":2841275,"id":"Q2841275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6fc79d1357c23b5e63de5691a76a792d9ea81e","datavalue":{"value":{"amount":"+0.83990145","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":"Q2851050$38DB8E79-C8BC-4FDB-9352-C3F580EC1375","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e4ece3f7ee4fafd9afea4e0b5b6a906aaecdc86","datavalue":{"value":{"text":"Tiling transactions in rewriting logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851050$DA3DCCCA-D0EE-4D07-9201-67CB44636E45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851050"}}}}}